Software Engineer (Engineer III to Principal) - Formal Methods

New York, USA +2
Full time
Remote
Compensation is not specified
Role
Software Engineer
Description

** Why Us?**

In a world witnessing tremendous innovation fueled by blockchain technology, ensuring the security and correctness of blockchain code, including protocols and smart contracts, is paramount. CertiK, a leading blockchain security company, is dedicated to securing the digital space by leveraging cutting-edge academic techniques to safeguard blockchain code. Join us in our mission to develop automated analyses for provably secure and correct blockchain applications.

What You Will Do

As a Research Software Engineer at CertiK, you will be responsible for designing and implementing tools that autonomously verify the accuracy of smart contracts and detect security vulnerabilities and bugs in them. Various positions are available at different seniority levels, with titles and responsibilities aligned with experience and background.

Working alongside a diverse team of programming language experts, you will contribute to the creation of tools based on techniques like symbolic model checking, SAT/SMT solving, abstract interpretation, data flow analysis, and deductive verification. You will engage in all aspects of tool development, from conception to enhancements, in a collaborative and supportive environment that encourages continuous learning and professional growth.

About You

You possess a background in programming language theory and automated reasoning and thrive on applying theoretical computer science outcomes to practical solutions. You excel in solving complex computational challenges and have a history of delivering impactful results that enhance user workflows. Collaboration is key to you, as you enjoy exchanging ideas, engaging in group brainstorming, and providing and receiving constructive feedback. You are adaptable and understand the dynamic nature of a startup environment, where versatility is essential.

Responsibilities

  • Enhance automated program verification tools and foster the development of new tools
  • Refine algorithms for symbolic software model checking, such as BMC, CEGAR, and IC3/PDR
  • Develop translators for diverse input languages into optimized models for automated analysis
  • Define new security properties for smart contracts and integrate them into verification tools
  • Collaborate closely with software engineers to drive tool development and problem-solving efforts
  • Engage in the complete software lifecycle, including analysis, design, testing, operations, and customer support

Required Qualifications

  • Master's Degree in Computer Science or equivalent experience
  • Minimum of 4 years of software development experience
  • At least 2 years of experience in model checking, formal verification, SAT/SMT solving, or related fields
  • Proficiency in fundamental computer science concepts

Preferred Qualifications

  • Ph.D. in automated reasoning or related discipline
  • Record of publications in conferences like POPL, CAV, and TACAS
  • Familiarity with functional programming languages like OCaml or Haskell
  • Strong problem-solving skills and a willingness to learn and collaborate
  • Previous experience in a professional software development setting

About the Company

Established in 2018 by Yale University and Columbia University professors, CertiK is a pioneer in blockchain security, utilizing advanced technology to safeguard blockchain protocols and smart contracts. With a commitment to enhancing security across the digital realm, CertiK integrates cutting-edge academic innovations into enterprise solutions, enabling the development of secure and accurate mission-critical applications.

Compensation

The targeted annual base salary for this role in the U.S. ranges from $115,000 to $230,000. The actual salary offered will depend on the candidate's skills and background.

At CertiK, full-time employees receive comprehensive benefits, including medical, vision, and dental insurance, a 401(k) plan with company matching, life insurance, and flexible paid time off. The company also offers a variable commission program for certain roles.

CertiK adheres to federal employment regulations and maintains a commitment to equal opportunity employment, welcoming applicants without bias based on various characteristics.

All CertiK team members are encouraged to actively promote diversity within their teams and the organization as a whole.

Skills Required
Avatar
CertiK
Company size
Not specified
Location
United States
Description
Founded in 2018 by professors of Columbia and Yale, CertiK is a pioneer in blockchain security, utilizing best-in-class Formal Verification and AI technology to secure and monitor blockchains, smart contracts, and Web3 apps.

More Full-time Jobs

Show more

Prop Trader (Crypto Market)

Singapore +3
Singapore +3
Part time
Remote
The Role
As a Proprietary Trader at Flappy DAO, you’ll leverage your deep understanding of crypto markets, meme ecosystems, and DeFi protocols to generate alpha and execute high-frequency, high-reward strategies. This role is designed for fearless traders who thrive in fast-paced environments and possess an uncanny ability to spot trends before they go viral.
Key Responsibilities
Develop and deploy proprietary trading strategies across decentralized exchanges (DEXs), meme coins, and emerging Web3 assets.
Execute high-frequency trades with precision, capitalizing on market inefficiencies and volatility.
Analyze on-chain data, social sentiment, and macroeconomic trends to identify alpha opportunities.
Manage risk dynamically while optimizing portfolio performance in rapidly shifting markets.
Collaborate with Flappy DAO’s network of elite traders to share insights and refine collective strategies.
Stay ahead of the curve by exploring new protocols, airdrops, and meta shifts in the crypto landscape.
Who We’re Looking For
✅ Proven experience in crypto trading, with a track record of profitability in meme coins, altcoins, or derivatives.
✅ Deep expertise in Web3 ecosystems (DeFi, NFTs, DAOs) and familiarity with tools like DexScreener, DeFiLlama, and Telegram alpha groups.
✅ Meme coin savant: Ability to decode viral trends, community narratives, and hype cycles.
✅ Risk management mastery: Discipline to balance aggressive plays with capital preservation.
✅ Technical edge: Proficiency in trading bots, on-chain analytics, and smart contract interactions.
✅ Entrepreneurial mindset: Self-driven, adaptable, and hungry to innovate in a decentralized world.
Why Join Flappy DAO?
Access to exclusive alpha: Tap into insider insights, early-stage projects, and proprietary tools.
Elite network: Collaborate with top-tier traders and crypto OGs shaping the future of finance.
Cutting-edge resources: Leverage advanced analytics, AI-driven signals, and decentralized infrastructure.
Competitive compensation: Earn performance-based rewards with uncapped upside.
Shape Web3: Be at the forefront of DeFi innovation and meme-driven market movements.
Payment in Crypto

Blockchain Developer for Solana-Based Crypto Project

Full time
Remote
Join The Saviors (SAVE) as a Blockchain Developer – Build the Future of Decentralization
Are you a crypto developer who believes in breaking free from centralized control and empowering communities through blockchain technology? The Saviors (SAVE) isn’t just another cryptocurrency—it’s a movement to restore trust, purpose, and freedom in a world dominated by elites. We’re building a decentralized ecosystem on Solana, with staking, governance, and ambitious plans for a custom blockchain, social platform, marketplace, and play-to-earn game. We’re looking for talented developers like you to join our long-term, trusted team and help shape a future where power belongs to the people.
The Role
As a Blockchain Developer for The Saviors (SAVE), you’ll dive into exciting technical challenges:
Develop Solana-based smart contracts for staking, governance, and our deflationary token mechanics.
Build decentralized applications (dApps) that redefine finance, social interaction, and commerce.
Innovate on complex projects, like creating a custom blockchain or integrating a censorship-resistant social platform and NFT marketplace.
Collaborate with a transparent team dedicated to security, community input, and legal compliance.
This isn’t just a job—it’s an opportunity to solve real-world problems and leave a lasting impact in the crypto space.
Why Join Us?
Token-Based Compensation: Get paid in SAVE tokens with a vesting schedule, offering you a stake in a project with a fixed 1 billion token supply and deflationary burns. Early contributors like you could see significant upside as we grow.
Long-Term Vision: We’re here for the marathon, not the sprint. With a roadmap spanning a custom blockchain, gaming, and beyond, you’ll join a team committed to sustainable innovation.
Shared Beliefs: If you’re passionate about decentralization, transparency, and community governance, you’ll fit right in. Your work will empower holders to vote, stake, and thrive in a trust-driven ecosystem.
Trusted Team: Based in the British Virgin Islands with audited contracts, multisig governance, and a KYC’d core team, we prioritize integrity and accountability. Join a project that’s doing crypto the right way.
Who We’re Looking For
Technical Skills: Experience with blockchain development, ideally on Solana (Rust) or EVM-based chains (Solidity).
Crypto Enthusiast: Comfortable with token-based payment and excited about its potential in a growing ecosystem.
Mission-Driven: You believe in SAVE’s vision of dismantling centralized power and building a decentralized world grounded in truth and freedom.
Team Player: Ready to commit to a long-term role with a collaborative, transparent crew.
Ready to Shape the Future?
If you’re a developer who wants to build something meaningful with a team you can trust, The Saviors (SAVE) is calling. Let’s create a decentralized legacy together.
DM us or apply at contact-us@thesaviors.io to join the movement!
Payment in Crypto
8.33
Monthly
See details

KOL Business Developer

Full time
Remote
Job Title: KOL Business Developer
Job type: Full-time, remote 
Key Responsibilities: 
1. Develop and execute strategies to grow the derivatives trading user base in target regions. 
2. Build and manage partnerships with institutional clients and key ecosystem players. 
3. Identify market trends, user needs, and competitor activities to drive product and service enhancements. 
4. Collaborate with internal teams to optimize product offerings and campaigns for target markets. 
Qualifications: 
1. Proven experience in business development or sales in the crypto/financial industry. 
2. Strong understanding of derivatives trading and market dynamics. 
3. Excellent communication and negotiation skills.
1,500-3,000
Monthly
See details

Team Lead / Blockchain Developer (Rust, Go, Solana)

Full time
Remote
Team Lead / Blockchain Developer (Rust, Go, Solana)
We are looking for a Team Lead to develop blockchain products.
Key Responsibilities:
🔹 Design and develop blockchain applications
🔹 Collaborate with business owners and break down tasks
🔹 Manage the team: assign tasks, conduct daily syncs, and estimate timelines🔹 Set up development processes: CI/CD, code review, GitFlow
🔹 Team development: training, hiring, and onboarding new employees
Who We Are Looking For:
✅ 3+ years of software development experience
✅ 1+ year in a Team Lead / Tech Lead / Architect role
✅ Strong knowledge of Rust and Go, basic TypeScript skills
✅ Understanding of the Solana network (Proof of History, TBFT, etc.)
✅ Experience developing smart contracts for Solana
✅ Experience with Postgres, Redis, Kafka, Cassandra
✅ Familiarity with Docker, Kubernetes, Helm, Ansible/Terraform
✅ English level B1 or higher, Russian is an advantage
What We Offer:
💰 Salary according to your expectations and experience
🎯 Autonomy in team and process management
📚 Unlimited access to professional training
🎟 Opportunities to attend conferences and meetups
 Freedom to propose and launch projects
🏡 Fully remote work
⚡ Equity options in company projects
reach out to telegram @askapro_co or email liubov@askapro.tech
Payment in Crypto

Crypto Analyst

Singapore +3
Singapore +3
Full time
Remote
Are You Ready to Decode the Market? 🚀
Flappy DAO is on the hunt for a Crypto Analyst who can turn raw blockchain data into actionable alpha. If you’re an OG in the crypto space—someone who thrives on charts, metrics, and uncovering hidden opportunities—this role is tailor-made for you.
As a Crypto Analyst at Flappy DAO, you’ll be the eyes and ears of our trading team, providing deep insights into market trends, token movements, and emerging projects. Think you’ve got what it takes to become the ultimate data wizard? Let’s dive in.
What You’ll Be Up To (Your Mission):
Analyze On-Chain Data: Dig into transaction volumes, whale activity, wallet distributions, and other key metrics to identify trends and predict price movements.
Monitor Market Sentiment: Track social media, news outlets, and community discussions to gauge FOMO/FUD cycles and their impact on the market.
Provide Trading Insights: Collaborate with our traders to deliver actionable recommendations based on your analysis.
Track Emerging Projects: Identify promising tokens, DeFi protocols, and NFT collections before they hit mainstream radar.
Leverage Exclusive Tools: Access proprietary datasets and analytics platforms (e.g., Glassnode, Dune Analytics, Santiment) to enhance your research.
Why Flappy DAO Slaps for Analysts:
Alpha Access: Get insider signals, exclusive tools, and early access to market-moving data.
Profit Sharing: A slice of the pie goes to you. We reward performance because we believe in eating what we cook.
DAO Vibes: Be part of an elite crew shaping the future of Web3. Your voice matters here—we’re all builders.
Flexibility: Work remotely and manage your own schedule while staying aligned with DAO goals.
What We’re Looking For (The Real Deal):
We don’t want just anyone—we want someone who lives crypto. Here’s how you prove it:
Proven Track Record: Show us your history as an active participant in the cryptocurrency market. Whether it’s through successful trades, contributions to DeFi projects, or involvement in DAOs, we need proof that you’re legit.
Examples: Links to your DEX trades, wallet activity, or past roles in other protocols.
Deep Market Knowledge: Understand the nuances of both centralized (CEX) and decentralized (DEX) exchanges. Know the difference between AMMs, order books, and dark pools—and why they matter.
Analytical Wizardry: Proficiency in SQL, Excel, Tableau, or similar tools for crunching data. Bonus points if you’ve used blockchain analytics platforms like Glassnode, Santiment, or Dune Analytics.
Community Engagement: Active participation in the Web3 space isn’t optional—it’s essential. Show us your Discord presence, Twitter threads, or forum contributions that demonstrate your passion for the industry.
How to Stand Out (Bonus Points):
Experience analyzing high-volatility assets like meme coins and understanding their unique dynamics.
Contributions to open-source DeFi projects or previous work with DAOs.
A portfolio showcasing successful market analysis or predictive modeling.
Still Reading? Here’s Why You Should Join Us:
At Flappy DAO, we don’t just talk about changing the game—we actually do it. Our members are pioneers, innovators, and hustlers who thrive in chaos and create order out of disorder. As a Crypto Analyst, you won’t just be another cog in the machine; you’ll be a key player driving the success of our ecosystem.
If you’re ready to bring your A-game, show us your creds, and help shape the future of decentralized finance, then this is your moment. Let’s build something legendary together.
About Flappy DAO
Flappy DAO is a private, insider collective of elite traders and crypto enthusiasts shaping the future of decentralized finance. With a focus on high-impact strategies, meme coin movements, and cutting-edge market insights, we empower our members to unlock unparalleled opportunities in the Web3 space. Join us at flappydao.com and elevate your trading game—where alpha meets community. 🚀
Payment in Crypto
12,000-13,200
Monthly
See details