Senior Protocol Engineer (Verification) at Morpho Labs

About Morpho Morpho is a leading Decentralized Finance (DeFi) lending protocol backed by a16z crypto, Paradigm, Ribbit Capital, Apollo, Vaneck, Coinbase Ventures, Variant and 50 others to build an open credit network giving anyone, anywhere, access to the best possible terms. Morpho is experiencing exponential adoption, with over billion in deposits on the network and used by institutional clients including Bitwise, Galaxy, and Anchorage Digital and the largest crypto exchanges, such as Coinbase, Binance, and Kraken. Now, Morpho is scaling its team of contributors to establish itself as the open credit network, not just of DeFi, but of the world. Why Morpho Exists Everyone has the potential to build something great for the world. But fulfilling that ambition almost always requires more: people willing to trust you with their capital. Yet access to capital still depends on where you live, who you know, and which institutions are willing to trust you. Even when capital is available, it sits fragmented across disconnected networks and hidden behind intermediaries. The result is a system that fails most of the people it should serve. Borrowers overpay. Lenders earn less than they should. Many are shut out entirely, not because they are unworthy of credit, but because today's infrastructure was never built to connect them. Morpho exists to solve this. Full article here . Location Remote (US or EU, up to GMT+2 to ensure sufficient overlap with the rest of the team). 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