Nethermind is hiring Web3 Formal Verification Engineer
Formal Verification Engineer
Experience
Minimum 1 Year
Employee type
Full Time
Position
Senior
Offer Salary
Desired Qualifications
- 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.
Duties & 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.
Salary & Benefits
Perks and benefits:
- Fully remote
- Flexible working hours
- Plus equity
Related Jobs
Remote