Formal Verification Engineer

We are hiring formal verification engineers to work with other teams at Nethermind as well as external customers to fulfill a wide range of formal verification needs within the Ethereum ecosystem. The role involves designing formal specifications, producing clean and efficient specifications based on documentation and stakeholder communication, and using a proof assistant to prove various properties of these specifications. We are 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.

• Passion for verification and programming language semantics
• Experience in working with formal verification in the Ethereum ecosystem
• Strong problem-solving skills
• Ability to design formal specifications of languages, compilers, smart contracts, etc.
• Proficiency in using proof assistants to prove properties of specifications
• Knowledge of extracting property testers and formally verified utilities from specifications

• Fully remote work
• Flexible working hours
• Equity
• Stay updated on company's work through social channels