Senior Protocol Engineer (Verification)

Skills

About the Role

You will apply formal verification to the protocol's smart contracts using tools like Certora to prove invariants and catch bugs before audits. You will conduct thorough security reviews of internally developed contracts and identify critical vulnerabilities before they reach production. You will own the bug bounty program by communicating with security researchers, validating findings, and coordinating response when needed. You will develop periphery smart contracts that extend the protocol in a safe and auditable way. You will research emerging attack vectors and evolving security tooling to keep security practices at the frontier. You will represent the organization at security focused conferences, meetups, and in published articles or research writeups to strengthen the protocol's credibility in the security community.

Requirements

• Master's degree in Computer Science, Cybersecurity, Software Engineering, or related field, or equivalent depth of knowledge.
• 3+ years of experience in smart contract auditing, with a proven track record of identifying critical vulnerabilities.
• Deep knowledge of the Ethereum Virtual Machine, Solidity, and the broader blockchain ecosystem.
• Hands-on experience with formal verification tools (Certora or equivalent).
• Strong written and verbal communication skills: able to write a clear vulnerability report as well as a research article.
• Genuine interest in DeFi and lending protocols specifically.
• Comfortable operating in a fast-moving, async-first environment where priorities shift and ambiguity is normal.
• Strong ownership and autonomy: identifies what needs to be done and does it, without waiting to be managed.
• Clear and crisp async communication: writes well and shares context proactively across time zones.
• Team-first mindset: treats the protocol's safety as a shared mission, not a personal agenda.
• Humble.

Responsibilities

• Apply formal verification methods to the protocol smart contracts using tools like Certora to prove invariants and catch bugs before audits.
• Conduct thorough security reviews of smart contracts developed in house, identifying critical vulnerabilities before they reach production.
• Own the bug bounty program by communicating with security researchers, validating findings, and coordinating war rooms when needed.
• Develop periphery smart contracts that extend the protocol in a safe and auditable way.
• Research emerging attack vectors, new bug classes, and evolving security tooling to keep security practices at the frontier.
• Represent the organization at security focused conferences, meetups, and in published articles or research writeups to strengthen the protocol's credibility in the security community.

Benefits

• Fair, top-tier compensation
• Real flexibility
• Time together in Paris
• Great health coverage
• Support to keep learning