Morpho Labs
Protocol Security Engineer
NEWParis or remote (from -5h GMT up to +2h GMT)Full-timeGlobal
š Midš Hybrid
RemoteRemote work position availableActivePosted within the last 30 days
Job Description
[AI-summarized by JobStash]
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 & Perks
- āReal flexibility
- āTime together in Paris
- āGreat health coverage
- āSupport to keep learning
Tech Stack
security reviewFormal verificationauditinglendingattack vectorDeFivulnerability researchbug bountyEVMsmart contract