Senior Software Engineer

About the role

At Certora, you will play a key role in securing Web3 applications through high-volume development and technical design. The company specializes in providing security assurance for leading protocols, ensuring that their clients can launch and upgrade with confidence.

You will work in a fast-paced environment, collaborating with top talent to solve complex backend and infrastructure challenges. Success in this role means delivering production-grade solutions rapidly while maintaining high standards of code quality and security best practices.

Skills that matter here

• backend engineering: This role requires a strong background in backend engineering to tackle complex design and architectural challenges.
• coding agents: Experience with coding agents like Claude or Codex is necessary for developing robust and clean code.
• communication skills: Excellent written and verbal communication is essential for clarifying technical requirements and documenting decisions.

Who this role suits

• Someone with over 5 years of professional software development experience, particularly in backend engineering.
• A quick learner who can adapt to new systems and maintain high delivery velocity.
• A collaborative team player who thrives in a fast-paced, supportive environment.
• A candidate who values security best practices and is comfortable working across the full software stack.

From the employer

Key Responsibilities

• High-Volume Development: Write clean, performant, and well-tested code and scripts daily, moving projects from concept to production rapidly.
• Complex Problem Solving: Own the technical design and architectural solutions for complex backend and infrastructure challenges.
• Rapid Project Integration: Quickly ramp up on existing codebases and ongoing initiatives, contributing to feature delivery and infrastructure maintenance with minimal friction.
• Develop production-grade deliverables using LLM-assisted coding and review contributions by coding agents.
• Best Practice Evolution: Research, evaluate, and implement modern software engineering practices, ensuring our tech stack and architectures remain efficient, secure, and maintainable.

Technical Skills & Requirements

• 5+ years of professional software development experience with a strong background in backend engineering and technical design.
• 1+ year experience with using coding agents such as Claude, Codex without compromising on code quality, design robustness, cleanliness, testing.
• Fast-Paced Execution: Proven ability to adapt quickly, learn new systems on the fly, and maintain a high velocity of delivery without sacrificing code quality.
• Excellent written and verbal communication skills, essential for clarifying technical requirements and documenting architectural decisions.

Advantages

• Security Expertise: Strong understanding of security best practices.
• Full-Stack Capability: Experience working across the full software stack, including frontend frameworks or interfaces.
• Versatility: Experience with ecosystems outside AWS: Railway, Google Cloud.
• System Modernization: Experience optimizing and maintaining legacy infrastructure while actively transitioning to newer architectures.

Why join Certora?

Certora provides you a wonderful opportunity to:

• Work on cutting-edge technology and challenging problems at the forefront of Web3 applications and technologies.
• Contribute to securing the web3 ecosystem with the leading provider of end-to-end security for blockchain-based applications.
• Experience a friendly creative start-up environment with top talent in the domain.
• Work in a fast-paced and supportive culture: we move fast and break nothing!
• Enjoy flexible work (remote / hybrid).
• Get competitive compensation & benefits (including equity).