Software Engineer - Haskell ETC

Input Output | United Kingdom | EU Time Zones
Fully remote | Full Time | 29 Jan, 2021

Vacancy 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.
Benefits

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 European time zones

All Colleagues

  • Flexible schedule
  • Remote work - ability to work anywhere
  • Laptop reimbursement
  • New starter package to buy hardware essentials (headphones, monitor, etc)
  • Udemy for Business
  • Competitive PTO and Sick Leave plan

US Employees

  • Medical, Dental, and Vision benefits coverage through Anthem with 100% premium cost covered by IO Global for the employee and dependents
  • Health Savings Account
  • Life Insurance

UK Employees

  • Monthly Health Stipend to use towards any wellness or medical coverage/service
  • Pension

Desired skills

There are no specific skills required for this role.

Input Output HK is a research and development company and industry leader in the fields of cryptography and distributed systems. Since the company was founded in 2014 it has pioneered new territory in blockchain research, advancing industry knowledge with the work produced by its global team of cryptographers and researchers. A growing network of academic partnerships supports its research and the Blockchain Technology Laboratory at the University of Edinburgh serves as the global headquarters for its university collaborations.

With its twin pillars of research and development, Input Output aims to shorten the time between academic research and its application in industry, while supporting the education of students who will contribute to the future of the area. All the work Input Output produces is open source and patent-free.

The company is incorporated in Hong Kong and has a global presence, with now about 70 workers based around the world, including in Japan; the US, the UK, Russia; Latvia; Ukraine and Argentina.

Software Engineer - Haskell ETC

Input Output | United Kingdom | EU Time Zones
Fully remote | Full Time | 29 Jan, 2021