Protocol Security Engineer
Skills
About the Role
You will ensure the security and robustness of smart contracts by implementing formal verification rules (using Certora), performing comprehensive security reviews, and owning the bug bounty program including triage and researcher communication. You will build secure periphery smart contracts, research emerging attack vectors, validate critical invariants to reduce vulnerabilities, and represent the security approach at conferences and meetups. Your work will shorten audit cycles and increase protocol resilience.
Requirements
- Master's degree in Computer Science, Cybersecurity, Software Engineering, or a related field
- 3+ years of experience in smart contract auditing
- Proven track record of identifying critical vulnerabilities in smart contracts
- Extensive knowledge of Ethereum Virtual Machine and Solidity
- Extensive knowledge of the blockchain ecosystem
- Excellent written and verbal communication skills
- Interest in DeFi and lending protocols
- Low ego and collaborative mindset
- Experience with bug bounty programs and platforms (nice to have)
- Experience writing smart contracts securing significant TVL (nice to have)
- Publication record in applied cryptography, security, or related domains (nice to have)
Responsibilities
- Implement formal verification rules using Certora on smart contracts
- Conduct comprehensive security reviews of protocol smart contracts
- Own the bug bounty program by triaging submissions and coordinating responses
- Build periphery smart contracts that integrate with the core protocol while maintaining security standards
- Research emerging attack vectors and new vulnerability classes
- Represent the security approach at conferences, meetups, and through published research
Benefits
- Flexible working arrangements
- Health coverage
- Periodic in-person meetings in Paris