Software Engineer (Haskell) - Ledger - IOE: Cardano

IO Global; United Kingdom; On-site; GBP 60,000 - 80,000; Full time

Job summary

A leading technology firm in the UK is seeking a Software Engineer (Haskell) to develop high-quality code for Cardano's ledger. The ideal candidate will have extensive experience in Haskell, proficiency in functional programming, and a strong ability to document their code clearly. This role offers a collaborative environment with teams across Europe and America, striving to enhance blockchain technology.

Benefits

Competitive PTO

Hardware essentials provided

Qualifications

• Minimum 5 years of professional or equivalent development experience in Haskell.
• Strong experience in declarative programming.
• Proficiency with advanced functional programming techniques.

Responsibilities

• Develop high-quality code implementing protocol rules and transaction validation.
• Collaborate across teams in Europe and America.
• Write clear documentation with examples.

Skills

Haskell programming

Declarative programming

Git and GitHub

Property-based testing

Functional programming techniques

Profiling and benchmarking

Education

Degree in Computer Science

Tools

Nix

HSpec

Tasty

Job description

Social network you want to login/join with:

Software Engineer (Haskell) - Ledger - IOE: Cardano

col-narrow-left

Client:

IO Global

Location:

United Kingdom

Job Category:

Other

-

EU work permit required:

Yes

col-narrow-right

Job Reference:

6dabd9d46890

Job Views:

8

Posted:

12.08.2025

Expiry Date:

26.09.2025

col-wide

Job Description:

Who are we?

IOG is a technology company focused on blockchain research and development. We are renowned for our scientific approach, emphasizing peer-reviewed research and formal methods to ensure security, scalability, and sustainability.

Our projects include the Cardano blockchain, as well as other products in decentralized finance (DeFi), governance, and identity management, aiming to advance blockchain and Web3 technology globally.

What the role involves:

As a Software Engineer at IOG, you will be responsible for writing high-quality code for our products, working with cutting-edge research and technology. You will join the team behind Cardano's development, focusing on enhancing its ledger, security, scalability, and architecture.

• Develop high-quality code implementing protocol rules and transaction validation
• Collaborate across teams in Europe and America
• Work proactively and independently with minimal supervision
• Coordinate with other teams on integration issues
• Review specifications from formal methods specialists
• Submit small, frequent pull requests
• Write comprehensive tests for your code
• Review team members' pull requests
• Fix bugs in your and legacy code
• Be available for emergency fixes on deployed products
• Integrate software components and third-party libraries
• Write clear documentation with examples
• Communicate professionally and effectively

Requirements

Who you are:

• Degree in Computer Science is desirable but not essential
• Minimum 5 years of professional or equivalent development experience in Haskell
• Strong experience in declarative programming
• Experience with Git and Github
• Experience with nix is a plus
• Proficiency with advanced functional programming techniques (Type families, Higher Kinded Data, etc.)
• Good understanding of evaluation strategies and related concepts
• Experience with serialization techniques in Haskell
• Knowledge of pure functional data structures and relevant libraries
• Familiarity with common Haskell libraries (crypton, random, transformers, etc.)
• Skilled in writing property-based tests (QuickCheck/Hedgehog)
• Experience with testing frameworks like HSpec or Tasty
• Ability to analyze performance using profiling and benchmarks
• Experience with low-level programming in Haskell is a plus
• Ability to write idiomatic Haskell code and comprehensive tests
• Ability to document code clearly
• Ability to break down tasks into manageable subtasks
• Adherence to sound software engineering principles

We provide hardware essentials (headphones, monitor, etc.) and competitive PTO. At IOG, we value diversity and do not discriminate based on race, religion, gender, age, or other statuses.