Formal Methods Engineer - IOE: Cardano

View full description

Requirements:

• Higher degree in Computer Science or a related field or currently pursuing one.
• Experience in a functional programming language, preferably Haskell.
• Experience working and collaborating using Git.
• Prior experience with theorem provers or model checkers is essential.
• Strong problem-solving ability and effective communication of complex concepts.

Responsibilities:

• Build formal artifacts from R&D and architectural guidance, based on business and engineering requirements.
• Model the performance of formally specified systems.
• Refine specifications using performance models and simulations to gauge design decisions.
• Discover new properties about specifications and their implications.
• Prove properties of specifications and correctness of refinement steps.
• Report on work via blog posts, technical documents, presentations, and contribute to academic papers.
• Participate in code reviews and contribute property-based tests for verification.
• Contribute to implementation and maintenance of static analysis tools.
• Work in an international team across multiple time zones.
• Break down complex tasks into workable items and work independently.
• Share specialized knowledge with team members.