DeFi Protocol Security Engineer: Formal Verification

A leading decentralized finance protocol is seeking a security expert to ensure the robustness of smart contracts. The role involves implementing formal verification using Certora, conducting security reviews, and managing a bug bounty program. The ideal candidate has a Master's degree and at least three years of experience in smart contract auditing, with a...

A leading decentralized finance firm is seeking a Security Engineer to ensure the security and robustness of its smart contracts. Responsibilities include conducting formal verification, managing bug bounty programs, and conducting security reviews. The ideal candidate should have a Master's degree in a relevant field and 3+ years of experience in smart...

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...

Job Description 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...

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...

Cryspen is a company that build high assurance security-critical software using formal verification. We develop the hax verification toolchain for Rust and apply it to develop cryptographic software used by prominent software companies and projects. We firmly believe that privacy and end-to-end security are the cornerstones of a modern, open society. Our...

Cryspen is a company that build high assurance security-critical software using formal verification. We develop the hax verification toolchain for Rust and apply it to develop cryptographic software used by prominent software companies and projects. We firmly believe that privacy and end-to-end security are the cornerstones of a modern, open society. Our...

Join Our Dynamic Team as a Security Engineer at Deepki. Deepki, leading the way in ESG SaaS for real estate owners and accelerating the transition towards net zero and sustainability. As part of our mission to support the construction and industry sectors in their transition to zero carbon, we are excited to announce an opening for a Security...

Meet Arago and the AragoniansArago is an AI and computer hardware company whose mission is to drive the course of history forward. We do so by accelerating breakthroughs at the intersection of AI and semiconductors.Founded in 2024 by AI researchers and physicists with deep expertise in photonics, electronics, software, mathematics, and machine learning,...

**Your Team**: Are you a graduate that wants to make a career as a Security Engineer? Are you looking for a company to invest in your development? Look no further.. Here at **Check Point** we want to ensure we propel your career by taking you on a journey that puts you at the center of the learning. Be part of the most innovative international team of...