Formal Methods Engineer - Remote

Overview

As a Formal Methods Engineer at IOHK, you will act as a bridge between product, research, architecture, and development, focusing on developing formal artifacts and ensuring high-quality designs and implementations.

In Short

• Build formal artifacts from research and architectural guidance.
• Model the performance of formally specified systems.
• Produce prototypes and simulations.
• Refine specifications using performance models.
• Prove properties of specifications and correctness of refinement steps.
• Communicate with researchers and developers.
• Report on work through various formats including blog posts and presentations.
• Participate in code reviews.
• Contribute to custom static analysis tooling.
• Work in an international team across multiple time zones.

Requirements

• Experience in formal methods and verification.
• Knowledge of blockchain technology and smart contracts.
• Strong programming skills.
• Ability to work independently and manage complex tasks.
• Excellent communication skills.
• Experience with performance modeling and simulations.
• Familiarity with static analysis tools.
• Willingness to participate in knowledge sharing.

Benefits

• Opportunity to work on cutting-edge blockchain technology.
• Collaborative and innovative work environment.
• Continuous learning and professional development.
• Flexible working arrangements.
• Participation in workshops and conferences.