Input Output (IOHK)

Engineer

• IOG: technology company focused on Blockchain research and development
• Develop formal artifacts early in development and iteratively refine specifications, properties, and proofs
• Form part of day-to-day quality assurance of production system development
• Test critical steps against formal models or prove them using formal frameworks and tools
• Model expected performance of resulting systems to assess impact of design decisions
• Provide feedback to developers and project management
• Participate in knowledge sharing and continuous learning with Formal Methods Engineers, researchers, and engineers
• Build formal artifacts from R&D, architectural guidance, and business and engineering requirements
• Model the performance of formally specified systems
• Produce prototypes and simulations
• Refine specifications using performance models and simulations
• Discover and prove properties of specifications and correctness of refinement steps
• Communicate with product, R&D, and developers; assist developers in turning specifications into production code
• Report on work via blog posts, technical reports, presentations, workshops, conferences, and academic papers
• Participate in code reviews
• Contribute property-based tests for executable specifications and production code verification
• Contribute to implementation, extension, and maintenance of custom formal analysis tooling
• Work in an international team across multiple time zones
• Break down large complex tasks into workable items and work independently
• Share specialized knowledge with other team members

Formal Methods Engineer, Cardano