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 are 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 SOC Analyst to join o...