Formal Methods Engineer - Innovation R&D

Posted about 1 month agoViewed

View full description

💎 Seniority level: Middle, 2-3 years

📍 Location: United Kingdom

🔍 Industry: Blockchain Research and Development

🏢 Company: IO Global

🗣️ Languages: English

⏳ Experience: 2-3 years

🪄 Skills: BlockchainGitHaskell

Requirements:

A higher degree in Computer Science or related field
2-3 years experience in a functional programming language, preferably Haskell
Experience with Git
Experience with one or more formal methods

Responsibilities:

Build formal artifacts from research and architectural guidance
Model the performance of formally specified systems
Refine specifications using performance models
Communicate feedback to researchers and developers
Participate in code reviews