Web3 Security Researcher (EST to GMT+4)

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

1. Web3 security understanding at all levels
2. Prevent mind‑blowing bugs in Solidity and Rust smart contracts, saving billions of dollars for DeFi clients
3. Mathematically prove interesting properties of low‑level code using state‑of‑the‑art technology, including the Certora Prover and other products
4. Find live bugs in DeFi code and report via responsible disclosure
5. 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)