Senior Software Engineer - Cloud and Data

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. But we’re not just another auditor. We’re a full-stack security assurance platform, combining best-in-class 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 doesn’t just look for vulnerabilities. We help 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 For us, security isn’t a checklist, it’s a continuous process. Certora is the most comprehensive and trusted platform to ensure your platform is protected, even under adversarial conditions. From testnet to mainnet, we’re with you. We are looking for a highly execution-driven Senior Software and Data Engineer who thrives on writing code and pushing projects to production rapidly. In this role, you will quickly integrate into our ongoing projects, absorb existing codebases, and deliver immediate technical value. Your impact will be felt through solving complex architectural problems, designing scalable systems, and continuously researching industry standards to ensure best practices are deeply integrated into our code. This is a role for a builder who wants to spend the vast majority of their time writing high-quality backend code, navigating AWS environments, and solving difficult engineering challenges at a fast pace.