Description
We are searching for an experienced Haskell Engineer to work on an exciting new project here at IOG. 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. As a Software Engineer at IOG 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.
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.
Requirements
Your expertise
- Haskell.
- Property-based testing experience is desirable but not essential.
- Open source experience is desirable but not essential.
- Nix (not necessary, but would be helpful).
- Relevant experience includes networking or distributed systems, consensus protocols or cryptography, performance analysis, and quantitative science.
Deadline for applications: 16.04.2021.