Remote / US / 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 passionate smart contract security researchers.
Join a great company with a unique formal verification technology for finding bugs and vulnerabilities in smart contracts.
Candidates should have a strong understanding of security primitives and be up to date with current exploits. Awareness of the current DeFi landscape is a big plus, and experience with exploitation techniques of financial protocols is a valued skill.
You will have the opportunity to work with and learn from some of the brightest minds in the space, to see how we approach hacking, threat modelling, scanning, auditing, designing and enhancing the security of smart contracts across the board.
We are looking for exceptionally intellectual, bright and technically driven individuals who can communicate their ideas clearly while working with clients to achieve their security objectives.
Programming languages
Research skills
Technologies
Education