Global
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, Morpho, Ethereum Foundation, GMX.
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 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.
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.
Certora provides you a wonderful opportunity to: