Certora is a Web3 security company that provides industry-leading formal verification tools and smart contract audits. Smart contracts are driving a revolution in financial services commonly known as Decentralized Finance (DeFi) as well as in other online data processing services.

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. Our team consists of world-class formal verification experts who use this revolutionary technology to help our customers gain confidence in their contracts. It has already been used by the top DeFi protocols to secure 25 billion dollars. Some of our clients are MakerDAO, AAVE, Balancer, Morpho, Ethereum Foundation, GMX, Lido, Uniswap, Etherfi.

Certora is offering four products: (1) free formal verification of bytecode programs using the Certora Prover Technology, (2) manual auditing powered by formal verification, (3) premium support for users of the Certora Prover, and (4) Enterprise security for Web3 clients using formal verification and complementary services.

We are looking for a full-time Formal Verification Researcher 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 the mathematical properties of complex financial systems such as Aave and Lido, which are implemented using computer programs called smart contracts and improve the Certora Prover technology. 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 the technology's advantages and limitations and developing the correct verification methodology. You will also assist the product team by proposing enhancements to the Certora Prover to enable and promote wider-scale usage and development of additional products.

1. Academic graduate degree in Math, Physics, or Computer Science from an excellent research university. Outstanding candidates with an undergraduate degree will also be considered
2. Passion for applying cutting-edge technology to financial systems
3. At least three years of software development experience
4. Background in vulnerability research, especially with high-level code (an advantage).
5. DeFi and Fintech understanding (an advantage).
6. Formal verification background, especially with tools such as Dafny, Lean4, Coq, and Isabelle  (an advantage).
7. Outstanding junior candidates will also be considered.

Certora People

We are Customer Centric, when we commit, the customer knows we will deliver in a quality and timely manner.

We Move Fast - we’re looking for people with a bias for action and a sense of urgency to achieve quick results while we also Break Nothing – we have high-quality standards, we are looking for people who are professional and hold themselves accountable.

We win as a Team – our teams are distributed around the world. We understand our individual roles and commit to the team's goals. 

We have a positive “can do” attitude. We support each other and are encouraged to ask for help and collaborate. We enable people to grow by clarifying expectations and giving candid feedback and on-the-job development opportunities. We welcome collaboration both internally and externally for outstanding delivery.

We are Pioneers in DeFi security and FV experts - we are one of the best companies to help developers and security researchers secure Web3 but we’re humble and always eager to learn more.

Why join Certora?

Certora provides you a wonderful opportunity to:

• work on cutting-edge technology and challenging problems at the forefront of Web3 applications and technologies
• contribute to unique formal verification technology, the leading way to ensure the behavior of any type of software 
• experience a friendly creative start-up environment with top talent in the domain
• work in a fast-paced and supportive culture: we move fast and break nothing!
• enjoy flexible work (remote / hybrid)
• get competitive compensation & benefits (including equity)