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 quality assurance in production system development.
The engineer will model system performance, provide feedback to researchers, and assist development teams in implementing and integrating their work.
The role involves building formal artifacts from research and architectural guidance, producing prototypes and simulations, and discovering new properties about specifications.
Communication with researchers and developers is essential, as well as reporting work through blog posts, technical documents, and presentations.
Participation in code reviews and contributing to property-based tests and custom static analysis tooling is required.
The engineer will work in an international team, breaking down complex tasks and sharing specialized knowledge with team members.

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 and one or more formal methods is required.
Familiarity with domains such as networking, distributed systems, programming language design, or blockchain applications is a bonus.
Candidates must demonstrate the ability to work on difficult problems independently and possess deep thinking and problem-solving skills.
The ability to understand and translate complex ideas for others is essential.
Software engineering skills and the ability to bridge the gap between research and engineering are required.
Candidates should be versatile, enjoy a fast-paced environment, and be savvy problem solvers.
Strong communication skills for explaining complex concepts in documents and presentations are necessary.

The position offers remote work flexibility.
Employees receive laptop reimbursement and a new starter package to buy hardware essentials.
There are opportunities for learning and development.
Competitive paid time off (PTO) is provided.
IOHK values diversity and treats all employees and job applicants based on merit, qualifications, competence, and talent.