Software Engineer (Haskell) - Ledger

Posted 23 Hours Ago
Be an Early Applicant
United Kingdom
5-7 Years Experience
Blockchain • Software
The Role
As a Software Engineer at IOG, you will write high-quality Haskell code for advancing the Cardano blockchain ledger. Responsibilities include implementing features, testing, reviewing pull requests, fixing bugs, and collaborating with cross-functional teams while adhering to software engineering principles.
Summary Generated by Built In

Description

Summary

As a Software Engineer at IOG you are responsible for writing high-quality code for our products. You have the exciting challenge of working with cutting-edge research and technology. Join the team behind the development of the Cardano blockchain. Our team specifically is responsible for advancing Cardano's ledger, maintaining its security, scalability, and overall architecture. 

Responsibilities

  • Write high-quality code, working with cutting-edge research and technology to implement features like protocol rules and transaction validation
  • Work with teams across multiple time zones in Europe and America.
  • Be proactive, work independently and require minimal supervision or mentoring to complete tasks
  • Collaborate with other teams on integration issues and problems that span a greater context
  • Review specifications produced by formal methods specialists
  • Commit often and submit small pull requests frequently
  • Cover your code with unit, property and integration tests
  • 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 severity 1 issues on deployed products
  • Integrate software components and third-party libraries
  • Write clear documentation with sensible examples
  • Communicate with others professionally, effectively and efficiently.
Requirements

Key Competencies 

  1. Write idiomatic Haskell code that satisfies the acceptance criteria of a given task
  2. Write tests (unit tests, property tests) that provide sufficient and non-superfluous efficient code coverage.
  3. Document code and APIs concisely and unambiguously
  4. Break down tasks into subtasks that are completable in a short amount of time and report completion as required by managers
  5. Pragmatically adhere to software engineering principles (modularity, incremental development, no premature optimization, no feature creep, no speculative generality, no code duplication ...)

Education / Experience

  • Degree in Computer Science is desirable but not essential
  • A minimum of 5 years development experience (professional or otherwise) in Haskell.
  • Strong experience at writing code in the declarative programming paradigm.
  • Experience working with Git and Github
  • Experience with nix is preferred, but not required.

Specialist Skills 

  • Proficiency with advanced FP techniques such as:
    Type families, Higher Kinded Data, Dependent types, Generic programming, Type-level programming, Free monads
  • Good understanding of evaluation strategies and related concepts: call-by-need, lazy evaluation, memoization, weak-head normal form vs normal form. Capable of identifying and avoiding space leaks.
  • Experience with serialization techniques in Haskell using any of the common libraries: cborg, serialise, store, flat, binary, etc.
  • Advanced level understanding of pure functional data structures and Haskell libraries that provide such functionality: containers, vector, bytestring, etc.
  • Comfortable using other common Haskell libraries such as: cryptonite, random, transformers, mtl, lens, conduit, persistent, aeson, etc.
Benefits
  • Remote work
  • Laptop reimbursement
  • New starter package to buy hardware essentials (headphones, monitor, etc)
  • Learning & Development opportunities
  • Competitive PTO 

At IOG, we value diversity and always treat all employees and job applicants based on merit, qualifications, competence, and talent. We do not discriminate on the basis of race, religion, color, national origin, gender, sexual orientation, age, marital status, veteran status, or disability status.

Top Skills

Haskell
The Company
471 Employees
On-site Workplace
Year Founded: 2014

What We Do

Founded in 2015, IOHK 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.
IOHK is an advocate of decentralized remote working, with over 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 IOHK it’s more, ‘we think outside the geography’.

Jobs at Similar Companies

Hybrid
Kraków, Małopolskie, POL
665 Employees

Cedar Logo Cedar

Solutions Architect (Client Integrations)

Fintech • Healthtech • Software
Easy Apply
Remote
United States
340 Employees

TravelPerk Logo TravelPerk

Senior Executive Assistant

HR Tech • Software • Travel
Easy Apply
Hybrid
London, Greater London, England, GBR
1300 Employees

TravelPerk Logo TravelPerk

Global Benefits Manager

HR Tech • Software • Travel
Easy Apply
Barcelona, Cataluña, ESP
1300 Employees

Similar Companies Hiring

Nexthink Thumbnail
Software • Information Technology • Big Data • Artificial Intelligence
Boston, MA
1051 Employees
Genius Sports Thumbnail
Sports • Software • Marketing Tech • Machine Learning • Big Data Analytics • Artificial Intelligence • AdTech
London, GB
1800 Employees
bet365 Thumbnail
Software • Gaming • eSports • Digital Media • Automation
Denver, Colorado
6100 Employees

Sign up now Access later

Create Free Account

Please log in or sign up to report this job.

Create Free Account