Formal Verification Engineer
"About The Role"
About This Role
Asymptotic is a small, high-caliber team pioneering the fusion of generative AI and formal verification to secure software at scale. We're starting with smart contracts in the Sui blockchain ecosystem, with ambitions to expand across the broader web3 landscape and eventually into traditional software infrastructure. This is a rare opportunity to work at the bleeding edge of crypto security, where mathematical rigor meets cutting-edge AI.
What You'll Be Doing
Design and build formal verification tools and frameworks tailored for smart contract correctness on Sui and other blockchain platforms
Apply generative AI techniques to automate and scale proof generation for decentralized applications
Collaborate closely with protocol engineers to verify the security and reliability of DeFi primitives and distributed ledger systems
Develop specifications and invariants that capture the intended behavior of complex smart contracts
Push the boundaries of what's possible in automated reasoning for blockchain infrastructure
Contribute to a culture of technical excellence, rapid iteration, and intellectual curiosity
What We're Looking For
Strong background in formal methods, theorem proving, or program verification
Experience with proof assistants (Coq, Lean, Isabelle) or SMT solvers
Solid programming fundamentals, ideally with exposure to Rust, Move, or other smart contract languages
Genuine interest in blockchain, crypto, and decentralized systems
Ability to work independently while maintaining strong communication within a distributed, async-friendly team
Comfort operating in a fast-paced, early-stage environment where priorities evolve quickly
Bonus Points
Prior experience auditing or verifying smart contracts in web3 ecosystems
Familiarity with generative AI or machine learning applied to formal reasoning
Contributions to open-source verification tools or blockchain security research
Experience with the Sui ecosystem or Move programming language
Why Join Us
Competitive compensation with meaningful equity in a high-growth crypto startup
Flexible, remote-friendly culture built around trust and autonomy
Direct impact on the security foundations of the decentralized future
Work alongside an elite team tackling one of the hardest problems in software: provable correctness at scale
Salary Range
$150,000 - $150,000
Ready to Apply?
To submit your application for this position, please visit asymptotic.tech's official website and follow their application process.