Protocol Security Engineer
Skills
About the Role
You will ensure the security and robustness of smart contracts by implementing formal verification rules using Certora, conducting comprehensive security reviews, owning and triaging the bug bounty program, building secure periphery contracts, researching emerging attack vectors, and representing security work externally at conferences and in publications.
Requirements
- Master's degree in Computer Science Cybersecurity Software Engineering or a related field
- 3+ years of experience in smart contracts auditing
- Proven track record of identifying critical vulnerabilities in smart contracts
- Extensive knowledge of the Ethereum Virtual Machine Solidity and the blockchain ecosystem
- Excellent written and verbal communication skills
- Interest in DeFi and lending protocols
- Low ego and collaborative mindset
Responsibilities
- Implement formal verification rules using Certora on smart contracts to validate critical invariants
- Conduct comprehensive security reviews of protocol smart contracts to identify critical bugs
- Own the bug bounty program, triage submissions, communicate with security researchers, and coordinate 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
- Real flexibility
- Time together in Paris
- Great health coverage
- Support to keep learning