Software Engineer - Haskell

We are searching for Software Engineers with experience in Haskell to join our rapidly expanding Engineering function. We are looking to fill positions for several teams, each of which has its own specialty. If you have experience in networking or distributed systems, consensus protocols or cryptography, performance analysis, or a background in a quantitative science, you can expect to put those skills to good use. You will be working on one of our most exciting projects – Cardano – and taking responsibility for writing high-quality code for our products.

As a Software Engineer at IOHK you will have the exciting challenge of working on cutting-edge research and technology with a focus on the market’s needs. This role will suit someone who is passionate about their work and changing people's lives, very self-motivated and proactive with outstanding problem-solving and interpersonal skills.

Location

IOHK is a fully distributed organization and therefore this is a remote position. Team distribution for this role means we are ideally searching for someone in a European time zone.

Your mission

• Write Haskell programs following our formal specifications (you would have help learning to read these).
• Add features, such as support for smart contracts and decentralized voting.
• Write QuickCheck properties and tests.

Your expertise

• Haskell. (A minimum of 3-5 years development experience)
• Property-based testing experience is desirable but not essential.
• Nix (not necessary but would be helpful).
• We are looking to fill positions for several teams, each of which has its own specialty. Relevant experience includes networking or distributed systems, consensus protocols or cryptography, performance analysis, and quantitative science