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

3D Motion Designer

Dubai, United Arab Emirates
Dubai, United Arab Emirates
Full time
Remote
Vision At Legends of Velora, we don’t just build games—we forge living, player-owned realities. As a 3D Motion Designer, you won’t just animate assets—you’ll define the kinetic soul of a cross-chain MMO where every movement, transition, and effect feeds into a thriving player-driven economy. Your work will be the visual pulse of a decentralized world, seen by thousands of players across OpenSea, Blur, and beyond.
Your Mission
Craft immersive animations that make blockchain interactions feel alive—trading, battling, and exploring across Chain Worlds
Design motion systems where NFT assets evolve based on ownership history, market value, and in-game achievements
Develop real-time procedural effects tied to on-chain data (gas fees, liquidity pools, DAO votes)
Collaborate with WebGL engineers to push Three.js to its limits, ensuring buttery performance across browsers and devices
Own the full motion pipeline—from concept to implementation—with zero corporate bureaucracy
What You Bring
A portfolio showcasing real-time 3D animations (games, interactive experiences, or Web3 projects)
Mastery of After Effects, Blender, or Maya + experience with game engines (Unity/Unreal) or WebGL frameworks
A haсker mindset—ability to prototype motion systems that react to live blockchain data
Obsession with player psychology—you know how subtle motion cues influence trading behavior
Bonus: Any experience with NFT animation, generative art, or on-chain asset pipelines
Why This Isn’t Just Another Job
Your animations become economic events—rare NFT effects can spike trading volume
No "revisions for the CEO’s nephew"—creative freedom backed by a DAO
Revenue share in $CORE + NFT royalties for signature effects
Build the standard for Web3 motion design—your work will be copied across chains
The Velora Edge
A custom WebGL engine built for zero-lag, cross-chain gameplay
37,000+ early adopters waiting to experience your creations
No App Store gatekeepers—your art reaches players directly, censorship-free
Payment in Crypto
11,000-13,000
Monthly
See details

Game Tester – Shape the Future of Web3 Gaming

Dubai, United Arab Emirates
Dubai, United Arab Emirates
Full time
Remote
Vision At Legends of Velora, we’re not just testing bugs—we’re stress-testing the boundaries of player-owned economies. As a Game Tester, you won’t just report glitches—you’ll safeguard a living, breathing multichain universe where every exploit found is a crisis averted for thousands of players and millions in digital assets.Your MissionHunt down bugs like a PvP rogue—except your targets are broken quests, unbalanced economies, and blockchain sync failuresStress-test player-driven systems—from NFT breeding mechanics to cross-chain arbitrage—before they go liveDocument exploits with forensic detail, then help design permanent fixes (not just quick patches)Play daily like a hardcore degenerate—but with a spreadsheet in hand tracking every edge caseBecome the voice of sanity—challenge designers when "innovative" ideas would wreck the in-game economyWhat You BringA ruthless eye for detail—you spot UI misalignments that others ignoreDeep gaming experience—especially in MMOs, strategy games, or play-to-earn titlesBasic understanding of blockchain transactions (gas fees, wallet interactions, etc.)Data-driven mindset—you don’t just say "this feels wrong," you prove it with numbersPassion for breaking things—then explaining exactly how to rebuild them strongerWhy This Isn’t Just Another QA JobYou protect real money—glitches here can tank NFT values or disrupt six-figure marketsDirect access to devs—no "ticket black holes," your reports trigger immediate actionEarly access to alpha builds—test unreleased Chain Worlds before players even know they existProfit from your finds—major bug discoveries earn bonuses in $COREThe Velora EdgeA custom engine with 10x more moving parts than typical Web3 gamesNo corporate red tape—if you find a critical bug at 3 AM, you can wake up the lead devYour work directly impacts OpenSea listings, DAO votes, and live economic events
Payment in Crypto
3,500-5,000
Monthly
See details

Blockchain engineer

Hong Kong
Hong Kong
Full time
Remote
At White Latus Capital, we’re reshaping how capital moves in decentralized ecosystems. We build modular, scalable infrastructure that empowers businesses to grow in an ever-changing Web3 world.Our mission: to connect visionaries with tools that deliver precision, performance, and possibility.
We’re looking for a skilled Blockchain Engineer to design, develop, and implement cutting-edge decentralized solutions. If you’re passionate about blockchain technology, smart contracts, and decentralized applications (dApps), we’d love to hear from you!
📍 Responsibilities:
Design, build, and deploy secure and scalable blockchain solutions.Develop smart contracts (Solidity, Rust, or other relevant languages).Work with decentralized protocols (Ethereum, Polkadot, Cosmos, etc.) and layer-2 solutions.Integrate blockchain technology with existing systems (APIs, backend services).Conduct security audits and optimize performance of blockchain networks.Stay updated on industry trends (DeFi, NFTs, DAOs, ZK-proofs, etc.).
🔍 Qualifications
Proven experience in blockchain development (public/private chains).Proficiency in Solidity, Rust, Go, or JavaScript/TypeScript.Familiarity with Web3.js, Ethers.js, or similar libraries.Knowledge of consensus algorithms (PoW, PoS, DPoS) and cryptography. Compatibility Truffle, Hardhat, or Foundry for smart contract deployment.Understanding of IPFS, The Graph, or other decentralized storage/oracle solutions.Strong problem-solving skills and collaborative mindset.
✨ Bonus Skills 
(Preferred)Contributions to open-source blockchain projects.Experience with zero-knowledge proofs (ZKPs) or rollups.DevOps skills (Docker, Kubernetes, CI/CD for blockchain nodes).
Payment in Crypto
12,500-16,667
Monthly
See details

Marketing Growth Lead

Part time
Remote
What You’ll Be Doing
Build the vibe. You’ll set the tone and personality of our community across Discord, Twitter, Telegram, and wherever players hang out.
Keep the squad engaged. Run quests, events, AMAs, tournaments, community calls, lore drops, meme contests, and more.
Be our frontline. Answer questions, share updates, and make sure feedback is getting to the devs and leadership in real time.
Grow our army. Welcome new players, help onboard them into the Strike Arena universe, and reward community legends with roles, recognition, and incentives.
Partner with guilds, creators & KOLs. Support collabs, raid events, co-streams, and everything in between.
Stay plugged into web3 culture. Know what’s trending. Jump into memes. Be reactive and proactive in shaping the conversation.
Help shape the future. As our ears and eyes in the community, you’ll play a major role in evolving the game, features, and community tools.
🧠 You Might Be a Fit If…
You’ve been a Community Manager or Mod in web3, especially for a game, NFT project, or DeFi protocol.
You’re super active in Discord and Twitter, and have a feel for what makes a digital community thrive (and what kills momentum).
You love games — especially competitive or crypto-enhanced ones — and understand the player mindset.
You can write clearly, meme cleverly, and manage chaos with good vibes.
You know how to scale a community, from 1k early users to 100k+ with structure, fun, and a sense of identity.
You’re proactive. You don’t wait for directions — you bring ideas and energy daily.
Send CV: career@strikearena.io

Prop Trader (Crypto Market) Ligo Network

Singapore
Singapore
Part time
Remote
The Role
As a Proprietary Trader at Ligo Network, 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 Ligo Network?
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
2,000-7,000
Monthly
See details