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.

About the role

We are looking for brilliant security researchers who understand and can find security bugs in cryptographic primitives such as signatures, encryption, and zero-knowledge cryptography. The ideal candidate also cares about exploring the use of formal verification to secure code.

Relevant skills

Experience reviewing cryptographic implementations, especially zero knowledge proof systems and circuits, and including MPC, signatures, and cryptographic libraries
Ability to dive into complex code bases written in Rust, C, C++ and other languages
Mathematically prove security properties of low-level code using state-of-the-art technology, including the Certora Prover and other products.

Must-Have Requirements

An undergraduate degree in exact sciences from a strong university
The ability to quickly understand intricate programs, learn new protocols and frameworks, digest cryptography and security publications
Mathematical thinking
Hands-on cryptography understanding: the right candidate must be able to read and write code and come up with proof of concepts to demonstrate and communicate security claims
High integrity

Significant Advantage

Previous experience in code auditing or vulnerability research
Expertise in code security and applied cryptography
Deep understanding of Blockchain technology (EVM, Solana)
Exposure to ZK technology: zkVMs, zkSNARKs or other proof systems
Understanding of Rust, Circom, Solidity
Publication of technical reports and blog posts
Participation in CTF’s/audit contests/bug bounties programs
Communication skills
High agency and ability to work independently
A European time zone or Eastern US is preferable

Certora People

We are Customer Centric, when we commit, the customer knows we will deliver in a quality and timely manner.

We Move Fast - we’re looking for people with a bias for action and a sense of urgency to achieve quick results while we also Break Nothing – we have high-quality standards, we are looking for people who are professional and hold themselves accountable.

We win as a Team – our teams are distributed around the world. We understand our individual roles and commit to the team's goals.

We have a positive “can do” attitude. We support each other and are encouraged to ask for help and advice. We enable people to grow by clarifying expectations and giving candid feedback and on-the-job development opportunities. We welcome collaboration both internally and externally for outstanding delivery.

We are Pioneers in DeFi security. We are one of the best companies to help developers and security researchers secure Web3, but we try to stay humble and are always eager to learn more.

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)

Cryptographic Security Researcher (EST to GMT+4)