Formal Verification Wizard
About the Role
You will prove mathematical properties of complex financial systems implemented as smart contracts. You will analyze complex code, design modular proofs, and harness SMT solvers to locate critical bugs. You will collaborate with product definition to integrate formal verification capabilities into a prover and apply software development practices to DeFi protocols.
Requirements
- Academic graduate degree in Mathematics Physics or Computer Science or outstanding undergraduate equivalent
- Passion for applying cutting-edge technology to financial systems
- Software development background
- Background in code security (advantage)
- Understanding of DeFi and Fintech (advantage)
- Formal verification experience with tools such as Dafny Lean Coq or Isabelle (advantage)
Responsibilities
- Lead adoption of formal methods for financial systems
- Prove mathematical properties of smart contracts
- Analyze complex code and design modular proofs
- Use SMT solvers to find critical bugs
- Assist product definition to integrate formal verification into a prover
Benefits
- equity compensation
- remote work option
- hybrid work option