Senior Software Engineer

Certora is looking for a Senior Software Engineer to build and deliver scalable backend and infrastructure solutions, solve architectural challenges, and maintain high engineering standards.

You will write clean, performant, well-tested backend code and scripts, rapidly moving projects from concept to production. You will own technical designs for complex backend and infrastructure challenges, integrate into existing codebases, develop LLM-assisted production deliverables, review coding-agent contributions, and evolve engineering practices for secure, maintainable systems.

• Write clean, performant, well-tested code and scripts.
• Own technical design and architectural solutions for backend and infrastructure challenges.
• Rapidly integrate into existing codebases and ongoing initiatives.
• Deliver features and maintain infrastructure.
• Develop production-grade deliverables using LLM-assisted coding.
• Review contributions by coding agents.
• Research, evaluate, and implement modern software engineering practices.

• 5+ years of professional software development experience.
• Strong background in backend engineering and technical design.
• 1+ year of experience using coding agents such as Claude and Codex while maintaining code quality, robust design, cleanliness, and testing.
• Ability to adapt quickly, learn new systems, and maintain high delivery velocity without sacrificing quality.
• Excellent written and verbal communication skills.

• Flexible remote or hybrid work.
• Competitive benefits.
• Equity.