Formal Methods Engineer - Remote

Overview

As a Formal Methods Engineer at IO Engineering, you will act as a bridge between product, research & development, architecture, and development, ensuring the safety and security of smart contracts through formal methods.

In Short

• Writing Plutus smart contract requirements
• Performing safety and threat analyses on specifications
• Designing and reviewing tests for compliance verification
• Contributing to formal proofs for correctness and reliability
• Building formal artifacts from various requirements
• Modeling performance of formally specified systems
• Producing prototypes and simulations
• Refining specifications based on performance models
• Engaging in knowledge sharing and mentorship
• Contributing to academic papers and technical reports

Requirements

• Experience in formal methods and smart contract development
• Strong analytical and problem-solving skills
• Ability to work independently and in a team
• Excellent communication skills
• Familiarity with performance modeling and testing
• Experience with documentation and technical writing
• Knowledge of static analysis tools
• Willingness to engage in ongoing learning
• Experience in international collaboration
• Ability to break down complex tasks

Benefits

• Opportunity to work on cutting-edge blockchain technology
• Collaborative and innovative work environment
• Flexible working hours
• Professional development opportunities
• Engagement with research communities
• Contributions to academic publications
• Mentorship and knowledge sharing
• Work with an international team
• Impactful work in the blockchain space
• Support for ongoing learning and development