Formal Methods Engineer

Job Summary

A company is looking for a Formal Methods Engineer.

Key Responsibilities

• Develop formal artifacts and specifications throughout the project lifecycle
• Produce prototypes, simulations, and verify production-ready code
• Contribute to the development and maintenance of formal verification tools

Required Qualifications

• Higher degree in Computer Science or a related field
• 2-3 years of experience in a functional programming language, preferably Haskell
• Experience with formal verification tools and methodologies
• Familiarity with Lean4, SMT solvers, and automated theorem proving
• Experience in relevant domains such as blockchain applications or distributed systems is a plus