Senior Protocol Engineer (Verification)

ABOUT MORPHO Morpho is a leading Decentralized Finance (DeFi) lending protocol that raised $70 million from Ribbit Capital, a16z crypto, Coinbase Ventures, Variant, Brevan Howard, Pantera, Blocktower, and 50 others to build an open lending network giving anyone, anywhere, access to the best possible terms. Morpho is experiencing explosive growth, with over $10 billion in deposits on the network, solidifying itself as the new standard for DeFi lending. Now, Morpho is scaling its team of contributors to establish itself as a cornerstone, not just of DeFi, but of a new internet-native financial system. OUR MISSION Morpho's mission is to power human ambition with open access to capital. Human ambition has no borders, but the capital to fuel it does. Today's financial system is closed and fragmented. No one sees all opportunities, most overpay, and some are excluded entirely. We believe capital should flow efficiently to where it's needed most - giving anyone, anywhere, access to the best possible terms. LOCATION Remote (US or EU, up to GMT+2 to ensure sufficient overlap with the rest of the team). HOW WE WORK We move fast on hard problems in a nascent market with no set playbook: navigating uncertainty is part of the job. You'll be challenged: anyone can question work and decisions must be justified. We keep a high bar and match it with high support: we help each other unblock and share context openly, with low ego. More about our values: morpho.org/jobs http://morpho.org/jobs. ROLE The mission of this role is to make Morpho's protocol safer and faster to ship by owning the security lifecycle end-to-end: from formal verification and smart contract audits to bug bounty program management. As the protocol team scales and takes on more complexity, this person reduces risk and shortens audit cycles so the team can move with confidence. RESPONSIBILITIES - Apply formal verification methods to Morpho's smart contracts using tools like Certora to prove protocol invariants and catch bugs before audit. - Conduct thorough security reviews of smart contracts developed internally, identifying critical vulnerabilities before they reach production. - Own the bug bounty program end-to-end: triage incoming reports, communicate with security researchers, validate findings, and coordinate war rooms when needed. - Develop periphery smart contracts that extend Morpho's protocol in a safe and auditable way. - Research emerging attack vectors, new bug classes, and evolving security tooling to keep Morpho's practices at the frontier. - Represent Morpho at security-focused conferences, meetups, and in published articles or research writeups to strengthen the protocol's credibility in the security community. WHAT SUCCESS LOOKS LIKE FIRST 30 DAYS Built a deep working knowledge of Morpho Blue and Vault v2. Started implementing formal verification rules using Certora on existing contracts. Got familiar with how the protocol team works and ships. FIRST 4 MONTHS Reached complete command of Morpho Blue and Morpho Midnight. Independently formulates and implements the most important invariants across the contracts. Leads the weekly Morpho call with Certora. Owns triage and validation of the smart contract bug bounty program. IN 1 YEAR Makes meaningful security contributions that measurably reduce Morpho's attack surface. Identifies new attack vectors, shares security best practices across the protocol team, and helps speed up audit cycles so the team ships faster without cutting corners. MUST-HAVE EXPERIENCE & SKILLS - Master's degree in Computer Science, Cybersecurity, Software Engineering, or a 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