Remote Lean jobs at Nethermind

Stream: job postings

[Julian Sutherland]

Hey all,

We are hiring formal verification engineers to work with other teams at Nethermind as well as external customers to fulfil a wide range of formal verification needs within the web3 ecosystem, including the verification of zero-knowledge circuits, as well as Ethereum and Starknet smart contracts. We're looking for team players, with a keen eye for detail and strong problem-solving skills.
Responsibilities:

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

Requirements:

• 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, ZK DSLs, EVM bytecode, 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

Contact us here: https://grnh.se/3c75d602teu