Senior Software Engineer
Certora provides formal verification tools for smart contract security, automatically identifying vulnerabilities before deployment.
Funding history
Projects
About Certora
Certora provides formal verification tools for blockchain security. It analyzes smart contracts on Ethereum, Solana, and Stellar by checking execution paths against specifications. Users define security rules in a verification language, enabling detection of bugs before deployment. The system generates counterexamples when vulnerabilities are found and secures high-value blockchain protocols.
Skills
Candidate Availability
Required and preferred rules are kept separate and reflect the wording in the original posting.
About the Role
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.
Requirements
- 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.
Responsibilities
- 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.
Benefits
- Flexible remote or hybrid work.
- Competitive benefits.
- Equity.