Formal Methods Engineer

Job Summary

A company is looking for a Formal Methods Engineer.

Key Responsibilities

• Develop formal artifacts and specifications to assure high-quality designs and prototypes
• Model performance of formally specified systems and provide feedback to developers and project management
• Participate in knowledge sharing and contribute to technical documentation and presentations

Required Qualifications

• A higher degree in Computer Science or a related field
• 2-3 years of experience in a functional language, preferably Haskell
• Experience with formal methods and collaboration using Git
• Familiarity with domains such as networking, consensus, or blockchain applications is a bonus
• General software engineering skills and understanding of software engineering processes