Certora is the security assurance partner trusted by the most advanced teams in Web3.

Founded in **** by pioneers in programming languages and formal methods, Certora helps leading protocols like Lido, Aave, Uniswap, and Compound secure billions in value with confidence.

We're a full-stack security assurance platform, combining 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 helps 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

Certora is looking for an experienced S...