Senior Protocol Engineer (Verification) at Morpho Labs

<h2>About Morpho</h2><p style="min-height:1.5em">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.</p><div style="min-height:1.2em;margin-top:0;margin-bottom:0"> </div><h2>Why Morpho Exists</h2><p style="min-height:1.5em">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 <a target="_blank" rel="noopener noreferrer nofollow" href="https://morpho.org/blog/why-morpho-exists/">here</a>.</p><h2>Location</h2><div style="min-height:1.2em;margin-top:0;margin-bottom:0"> </div><p style="min-height:1.5em">Remote (US or EU, up to GMT+2 to ensure sufficient overlap with the rest of the team).</p><div style="min-height:1.2em;margin-top:0;margin-bottom:0"> </div><h2><strong>Role</strong></h2><div style="min-height:1.2em;margin-top:0;margin-bottom:0"> </div><p style="min-height:1.5em">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.</p><div style="min-height:1.2em;margin-top:0;margin-bottom:0"> </div><h2><strong>Responsibilities</strong></h2><div style="min-height:1.2em;margin-top:0;margin-bottom:0"> </div><div style="min-height:1.2em;margin-top:0;margin-bottom:0"> </div><ul style="min-height:1.5em"><li><p style="min-height:1.5em">Apply formal verification methods to Morpho's smart contracts using tools like Certora to prove protocol invariants and catch bugs before audit.</p><div style="min-height:1.2em;margin-top:0;margin-bottom:0"> </div><div style="min-height:1.2em;margin-top:0;margin-bottom:0"> </div><div style="min-height:1.2em;