Remote Senior Software Engineer (Haskell) - Consensus

Description:

• IO Global is looking for a Senior Software Engineer (Haskell Developer) to join the Consensus team.
• The Consensus layer is an open-source implementation of the Ouroboros family of Consensus protocols written in Haskell.
• Responsibilities include working on the Ledger, Network, and Cardano Node components, handling block forging and storage, and focusing on serialization.
• The codebase consists of over 160,000 lines of Haskell code distributed across several packages.
• Type-level programming is involved in maintaining and extending the Consensus layer, with a preference for property-based testing (QuickCheck).
• Collaboration with other teams dedicated to Haskell+Nix infrastructure, GHC development, benchmarking, testing, and quality assurance is expected.

Requirements:

• Must be a good engineer comfortable with reviewing pull requests, debugging, and documenting decisions.
• Proficient in English for asynchronous communication in a distributed team.
• Proactive, passionate, thorough, and detail-oriented with a willingness to learn.
• Strong background in Haskell with familiarity in libraries like lenses, Template-Haskell, CBOR, GHC Generics, STM, mtl, pipes, SOP, etc.
• Prior experience with blockchain is a bonus, but a strong understanding of distributed systems is essential.

Benefits:

• Remote work opportunity.
• Reimbursement for a laptop.
• New starter package for essential hardware.
• Learning and development opportunities.
• Competitive paid time off.