Remote / Hybrid, Europe / IL
Certora is a Web3 security company that provides industry-leading formal verification tools and smart contract audits. Certora’s flagship security product, Certora Prover, is a unique SaaS product which automatically locates even the most rare & hard-to-find bugs on your smart contracts or mathematically proves their absence. The Certora Prover plugs into your standard deployment pipeline. It is helpful for smart contract developers and security researchers during auditing and bug bounties. It has already been used by the top DeFi protocols to secure 25 billion dollars. Some of our clients are MakerDAO, AAVE, Morpho, Ethereum Foundation, GMX.
Certora also provides services such as auditing, formal verification projects, and incident response.
We are looking for a full-time Formal Verification Wizard to lead the adoption of formal methods of financial systems using a unique formal verification product called the Certora Prover. You will use the Prover to prove mathematical properties of complex financial systems such as Aave and Lido implemented using computer programs called smart contracts. The role requires comprehending complex code and finding modular ways to prove the correctness of the systems. In particular, we harness SMT solvers to find critical bugs in financial systems, thus requiring a deep understanding of both the advantages and limitations of the technology and developing the correct verification methodology. You will also assist the product team with proposing enhancements to the Certora Prover to enable and promote wider scale usage.
Excellent salary and equity in a company with unique technology.