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.

We’re a full‑stack security assurance platform, combining formal verification tools with expert advisory services. Whether you launch a new protocol, upgrade core infrastructure, or secure a DeFi primitive, we help you prove correctness, accelerate development speed, and embed safety into your design from day one.

We provide:

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 protect your platform under adversarial conditions, from testnet to mainnet.

About the role

We are looking for brilliant security researchers who care about evangelizing formal verification to secure code and can find logical mistakes in high‑level programs.

Relevant skills

Web3 security understanding at all levels
Prevent mind‑blowing bugs in Solidity and Rust smart contracts, saving billions of dollars for DeFi clients
Mathematically prove interesting properties of low‑level code using state‑of‑the‑art technology, including the Certora Prover and other products
Find live bugs in DeFi code and report via responsible disclosure
Be updated with the latest web3 security trends and hacks

Must‑Have Requirements

An undergraduate degree in exact science from a strong university
The ability to quickly understand intricate programs
Mathematical thinking
High integrity

Significant Advantage

Cyber experience
Code security
Deep understanding in Blockchain technology (EVM/SolanaVM) & DeFi
Two years of experience in smart contract auditing or code vulnerability research
Rust or Solidity understanding
Experience with testing frameworks such as Foundry, Hardhat, FV tools
Ability to write technical reports and blogs
Participation in CTFs/audit contests/bug bounty programs
Communication skills
Managerial skills
Graduate degree
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 while maintaining high quality standards. We want professionals who hold themselves accountable.

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

We have a positive “can do” attitude, support each other, and are encouraged to ask for help and advice. We enable growth by clarifying expectations and providing candid feedback and on‑the‑job development opportunities. Collaboration is encouraged both internally and externally to ensure 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 stay humble and 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)

#J-18808-Ljbffr