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

Get New Jobs Notification!

Subscribe & get all related jobs notification.

Select your color
Light/dark Layout