Time Zone between PT to GMT+1
Certora is the security assurance partner trusted by the most advanced teams in Web3. Founded in 2018 by pioneers in programming languages and formal methods, Certora helps leading protocols like Lido, Aave, Uniswap, and Compound secure billions in value with confidence.
But we’re not just another auditor. We’re a full-stack security assurance platform, combining best-in-class formal verification tools with expert advisory services, delivered on time and with zero compromise. Whether you’re launching a new protocol, upgrading core infrastructure, or securing a DeFi primitive, Certora doesn’t just look for vulnerabilities. We help you prove correctness, accelerate your development speed, and embed safety into your design from day one.
With Certora, you get:
- Proven, scalable tooling for checking real deployed code
- A deep partnership model with on-demand support
- Fast, responsive execution that helps you go-to-market faster
For us, security isn’t a checklist, it’s a continuous process. Certora is the most comprehensive and trusted platform to ensure your platform is protected, even under adversarial conditions. From testnet to mainnet, we’re with you.
We are looking for a full-time Senior Researcher to provide technical leadership on the design and development of our static analysis and formal verification tools, including the Certora Prover—the industry's leading formal verification platform. Our technology is production-grade; development is driven by real-world customer needs and use cases. You will architect and implement core components of our verification tooling, including static analysis engines, intermediate representation design, compiler infrastructure that converts source languages (e.g., Solidity, Rust or bytecode) and our specification languages into the prover's internal representation, as well as usability features such as counter-example back-translation and specification language design. The role combines research-level problem solving with production systems engineering to build scalable, practical formal verification technology.
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: