Formal Verification Engineer

Nethermind logoNethermind

Sep 08

Job Description

Do you have a passion for verification and programming language semantics? Do you want to work at the bleeding edge of crypto, securing the Ethereum ecosystem? Do you want to help shape the future of Decentralized Finance?

We are hiring formal verification engineers to work with other teams at Nethermind as well as external customers (code name: Lamport) to fulfill a wide range of formal verification needs within the Ethereum ecosystem. We’re looking for team players, with a keen eye for detail and strong problem-solving skills.


  • Work with other teams and external customers to design formal specifications of languages, compilers, smart contracts, etc...
  • Produce clean and efficient specifications based on documentation and communications with stakeholders.
  • Use a proof assistant to prove a wide array of different properties of these specifications.
  • Extract property testers and formally verified utilities from these specifications.
  • Recommend and execute improvements.
  • Create technical documentation for reference and reporting.


  • Background in computer science.
  • Background in formal language semantics and verification. Particularly knowledge of Hoare and Temporal logic.
  • Strong background in functional programming and proof assistants, preferably Lean 4.
  • Ability and desire to learn new programming languages and understand their specification e.g. Cairo, Solidity, Yul, etc...
  • Knowledge of compilers.
  • Understanding of theoretical computer science: Turing Machines, Complexity, etc…
  • Experience with software design and development.
  • Strong reasoning skills.
  • Excellent communication skills.
  • Good English.

Perks and benefits:

  • Fully remote
  • Flexible working hours
  • Plus equity

Listed in: Web3 Jobs, Remote Crypto Jobs, Developer Crypto Jobs, DeFi Crypto Jobs, Finance Web3 Jobs, Solidity Crypto Jobs, Ethereum Crypto Jobs, Full Time Web3 Jobs.

Let Nethermind know that you found this job on CryptoJobsList. This helps us get more companies to post web3 jobs here!

📍 Remote
5 Applications

Related Locations

Remote Crypto Jobs