We use cookies and other tracking technologies to improve your browsing experience on our site, analyze site traffic, and understand where our audience is coming from. To find out more, please read our privacy policy.

By choosing 'I Accept', you consent to our use of cookies and other tracking technologies.

We use cookies and other tracking technologies to improve your browsing experience on our site, analyze site traffic, and understand where our audience is coming from. To find out more, please read our privacy policy.

By choosing 'I Accept', you consent to our use of cookies and other tracking technologies. Less

We use cookies and other tracking technologies... More

Login or register
to publish this job!

Login or register
to save this job!

Login or register
to save interesting jobs!

Login or register
to get access to all your job applications!

Login or register to start contributing with an article!

Login or register
to see more jobs from this company!

Login or register
to boost this post!

Show some love to the author of this blog by giving their post some rocket fuel ūüöÄ.

Login or register to search for your ideal job!

Login or register to start working on this issue!

Login or register
to save articles!

Login to see the application

Engineers who find a new job through Functional Works average a 15% increase in salary ūüöÄ

You will be redirected back to this page right after signin

Haskell Software Engineer - Ledger - Remote

Remote | Worldwide

19 August, 2021

Compensation

Competitive

Contract type

Full time
Remote working

Technologies & frameworks

  • Haskell
  • NIX

Benefits & perks

  • Remote working
  • Paid sick days
  • Pension
  • Performance bonus
  • Promote from within
  • Committed to a diverse team
  • Paid time off
  • 100% remote working
  • Learning & development
  • Health insurance - us employees
  • Healthcare stipend - uk & ireland employees
  • No call fridays
We are looking for an experienced Haskell Software Engineer to join our fantastic Ledger team.

Role overview

We are looking for an experienced Haskell Software Engineer to join our fantastic Ledger team. You will be working on features being added to the Cardano blockchain, which usually involve changes to the ledger. Features originate with our researchers, are turned into a formal specification, and are then implemented in Haskell by the Ledger team.

Your mission

You will be a friendly, hard-working, self-motivated individual who is excited about using advanced Haskell features and open to working with formal specifications. You will help implement features, such as decentralized governance, decentralized updates, and scalability, on the Cardano ledger. This work includes property tests. The Cardano our code base makes heavy use of Haskell’s type classes and type families, so experience with these, or the ability to pick them up, is crucial.

In your day-to-day duties s a Software Engineer you will:

  • Follow¬†agile¬†software development practices
  • Work with¬†teams¬†across time zones
  • Work¬†independently¬†on software development tasks
  • Be proactive and require minimal supervision or¬†mentoring¬†to complete tasks
  • Review specifications produced by¬†architects¬†and formal methods specialists
  • Contribute to the design of¬†algorithms
  • Write clean, straightforward, efficient¬†code¬†that satisfies acceptance criteria and specifications
  • Commit often and submit small pull¬†requests¬†frequently
  • Cover your¬†code¬†with unit, property and integration¬†tests¬†when applicable
  • Review the pull¬†requests¬†of your¬†team¬†mates
  • Fix¬†bugs¬†in your¬†own¬†code¬†and in¬†legacy¬†code¬†from others
  • Be available for emergency fixing of severe issues on¬†deployed¬†products
  • Integrate software components and¬†third-party libraries
  • Verify and¬†deploy¬†programs and systems
  • Troubleshoot,¬†debug¬†and upgrade software
  • Write¬†documentation¬†for the¬†code
  • Write technical user¬†manuals
  • Improve your knowledge of¬†distributed¬†and¬†concurrent¬†computation
  • Improve your knowledge of the basics of¬†cryptography.

Requirements

Your expertise

  • Experience with Haskell, particularly type classes and type families
  • Experience with Nix is a big advantage.
  • Able to work on a complex system and have an aptitude for simplifying complexities
  • Good communication skills, both written and spoken

Benefits

Location

IOG is a fully distributed organization and therefore this is a remote position.

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
  • 250+
  • Singapore

Founded in 2015, IO Global is one of the world‚Äôs pre-eminent blockchain research and engineering companies, best known for the Cardano blockchain platform. We are a fully decentralized, remote-working organization committed to the highest principles of academic rigour and evidence-based software development. The company builds high-assurance blockchain products for public and private sector clients. Our goal is simple ‚Äď to fuel our drive to be best in class by giving you the opportunity, resources and support to deliver your finest work to date. You‚Äôll work with some exceptionally talented and friendly individuals who are always open to new ideas and ways of working. IO Global is an advocate of decentralized remote working, with 300 people working in more than 50 countries. Everyone has a different skill set, a different culture, and is at a different stage in their life. We aim to make collaboration between diverse people fun, exciting, and always rewarding. Many companies say they ‚Äėthink outside the box‚Äô ‚Äď for IO Global it‚Äôs more, ‚Äėwe think outside the geography‚Äô.

View 35 jobs
Engineers who find a new job through Functional Works average a 15% increase in salary.

Compensation

Competitive

Contract type

Full time
Remote working

Technologies & frameworks

  • Haskell
  • NIX

Benefits & perks

  • Remote working
  • Paid sick days
  • Pension
  • Performance bonus
  • Promote from within
  • Committed to a diverse team
  • Paid time off
  • 100% remote working
  • Learning & development
  • Health insurance - us employees
  • Healthcare stipend - uk & ireland employees
  • No call fridays

Get hired!

Sign up now and apply for roles at companies that interest you.

Engineers who find a new job through Functional Works average a 15% increase in salary.

Start with GitHubStart with Stack OverflowStart with Email

Get hired!

Sign up now and apply for roles at companies that interest you.

Engineers who find a new job through Functional Works average a 15% increase in salary.

Start with GitHubStart with Stack OverflowStart with Email

Other roles that might interest you

Looking for an awesome Haskeller! Senior and junior positions available.
Remote
Help build something seriously important for the world with chilled people
Remote
Write and maintain enterprise Haskell backends as part of a client team
Remote
Haskell Software Engineer - Ledger - Remote