Opportunity Description
About Certora
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...