Formal Verification Engineer
Job Location:
Job Location:
San Francisco, CA - USA
Monthly Salary:
Not Disclosed
Monthly Salary:
Posted on:
3 days ago
Posted on:
Vacancies:
1 Vacancy
Vacancies:
Job Summary
Formal Verification Engineer
Location: Remote or San Francisco
Type: Full-Time
Availability: 2-3 hour overlap with Pacific Time
About Us
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.
Role Overview
Were 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.
Key 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
Qualifications
-Formal Verification: Experience with formal verification tools such as provers model checkers etc.
-Math Excellence: Strong foundation in mathematics (e.g. bachelors/masters 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
-Move (preferred but not required): Experience with Sui Move is highly valued but not required
Why Join Us
- Join a small team with a culture of excellence
- Work directly with founders on high-impact projects
- Shape the future of software verification and blockchain security
- Equity in a fast-growing AI-blockchain startup
The Fine Print
Benefits: Competitive compensation package starting at $150k depending on experience and location including equity flexible work arrangements unlimited PTO and comprehensive health benefits.
Equal Opportunity: Asymptotic is an equal opportunity employer focused on merit and excellence. We value trustworthiness and job performance and we prohibit discrimination based on race religion color national origin gender sexual orientation age marital status veteran status disability status or any other factor irrelevant to your work.
How to Apply
Please DO NOT contact us directly. Instead have someone youve worked closely with recommend you. If we hire you and you stay with us for at least 6 months the person who recommended you will receive $10k.
Sorry for the extra step but it helps us filter candidates and someone who values your work gets rewarded. Its a win-win.
Only for referrals:
Required Experience:
IC
