Formal Methods Engineer - Remote

Overview

As a Formal Methods Engineer at IOHK, you will bridge product, research, architecture, and development, focusing on developing formal artifacts that enhance the quality and performance of blockchain systems.

In Short

• Develop formal artifacts from research and architectural guidance.
• Model the performance of formally specified systems.
• Produce prototypes and simulations.
• Refine specifications based on performance models.
• Prove properties of specifications and correctness of refinements.
• Communicate effectively with researchers and developers.
• Report on work through various formats including blog posts and presentations.
• Participate in code reviews and contribute to testing.
• Work in an international team across multiple time zones.
• Share specialized knowledge with team members.

Requirements

• Experience in formal methods and blockchain technology.
• Strong analytical and problem-solving skills.
• Ability to work independently and manage complex tasks.
• Excellent communication skills.
• Experience with performance modeling and prototyping.
• Familiarity with static analysis tools.
• Experience in technical writing and reporting.
• Ability to collaborate in a remote, international team.

Benefits

• Opportunity to work on cutting-edge blockchain technology.
• Collaborative and innovative work environment.
• Continuous learning and knowledge sharing.
• Flexible working hours and remote work options.
• Participation in workshops and conferences.