Description:

IOHK is a technology company focused on Blockchain research and development, emphasizing peer-reviewed research and formal methods for security, scalability, and sustainability.
The Formal Methods Engineer will act as a bridge between product, research, architecture, and development.
Responsibilities include developing formal artifacts early in the development process, refining specifications, and ensuring high-quality designs and implementations.
The role involves quality assurance of production system development and verification of source code.
The engineer will model system performance, provide feedback to researchers and engineers, and assist in integrating work into production systems.
Participation in knowledge sharing and continuous learning with other Formal Methods Engineers is expected.
The role specifically targets automated and interactive verification of source code, initially focusing on smart contracts for Cardano and/or Midnight.
Key tasks include building formal artifacts, producing prototypes, discovering new properties, communicating with researchers and developers, reporting work, participating in code reviews, and contributing to testing and tooling.

Requirements:

A higher degree in Computer Science or a related field is required.
A minimum of 2-3 years of experience in a functional language, preferably Haskell, is necessary.
Experience with Git for collaboration is required.
Familiarity with one or more formal methods is essential.
Experience in networking, distributed systems, programming language design, or blockchain applications is a bonus.
Demonstrated ability to work on difficult problems independently is required.
Experience with SAT/SMT, model checking, and interactive theorem proving is necessary.
Proficiency in using Lean or similar tools is required.
Experience in building formal methods tools and domain experience with smart contracts is a plus.
Strong problem-solving skills and the ability to translate complex ideas for others are essential.
Software engineering skills and the ability to bridge research and engineering teams are required.
The candidate should be versatile, enjoy a fast-paced environment, and be able to explain complex concepts clearly.

The position offers remote work flexibility.
Laptop reimbursement is provided.
A new starter package is available to buy hardware essentials such as headphones and monitors.
There are opportunities for learning and development.
Competitive paid time off (PTO) is included.