Certora

About Certora

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. The company combines best-in-class formal verification tools with expert advisory services, ensuring that clients can prove correctness and embed safety into their design from day one.

Career Opportunities

Certora offers a dynamic working environment that fosters professional growth and development. Employees benefit from a deep partnership model with on-demand support and fast, responsive execution that helps clients go-to-market faster.

• Proven, scalable tooling for checking real deployed code
• Deep partnership model with on-demand support
• Fast, responsive execution that accelerates development speed