Formal Verification Engineer

asymptotic.tech • San Francisco, CA

7d • $150,000 • Remote

About The Position

Asymptotic is a small, elite team working on scaling formal verification using generative AI. Our ultimate goal is a world where all software infrastructure is secured by comprehensive formal verification. We start with smart contracts in the Sui ecosystem and expand to other blockchains and traditional software. We foster a culture of excellence, moving fast, and approaching the toughest challenges from first principles. We're hiring a Formal Verification Engineer who will work closely with our customers to identify security invariants, write specs, and complete the proofs through using the Sui Prover and our AI agents.

Requirements

• Formal Verification: Experience with formal verification tools, such as provers, model checkers, etc.
• Math Excellence: Strong foundation in mathematics (e.g., bachelor's/master's in math/CS, or equivalent via competitive programming/Olympiads/self-study)
• Mindset: Extremely detail oriented, with an obsession to make sure the specs are correct

Nice To Haves

• Experience with Sui Move is highly valued but not required

Responsibilities

• Inspect smart contracts and work with devs on the client side to determine security properties and invariants
• Use the Sui Prover to write specification for the identified security properties, then complete the proofs
• Potentially work through Lean proofs for specifications that cannot be handled by the SMT solver

Benefits

• Competitive compensation package starting at $150k+ depending on experience and location
• equity
• flexible work arrangements
• unlimited PTO
• comprehensive health benefits

What This Job Offers

• Job Type: Full-time
• Career Level: Mid Level