Job Description
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...