Software Engineer (Haskell) - Ledger

Responsibilities:

1. Write high-quality code, working with cutting-edge research and technology to implement features like protocol rules and transaction validation
2. Work with teams across multiple time zones in Europe and America.
3. Be proactive, work independently and require minimal supervision or mentoring to complete tasks
4. Collaborate with other teams on integration issues and problems that span a greater context
5. Review specifications produced by formal methods specialists
6. Commit often and submit small pull requests frequently
7. Cover your code with unit, property and integration tests
8. Review the pull requests of your team mates
9. Fix bugs in your own code and in legacy code from others
10. Be available for emergency fixing of severity 1 issues on deployed products
11. Integrate software components and third-party libraries
12. Write clear documentation with sensible examples
13. Communicate with others professionally, effectively and efficiently.

Requirements:

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

Education / Experience:

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

Specialist Skills:

1. Proficiency with advanced FP techniques such as:
2. Type families, Higher Kinded Data, Dependent types, Generic programming, Type-level programming, Free monads
3. 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.
4. Experience with serialization techniques in Haskell using any of the common libraries: cborg, serialise, store, flat, binary, etc.
5. Advanced level understanding of pure functional data structures and Haskell libraries that provide such functionality: containers, vector, bytestring, etc.
6. Comfortable using other common Haskell libraries such as: cryptonite, random, transformers, mtl, lens, conduit, persistent, aeson, etc.

Benefits:

1. Remote work
2. Laptop reimbursement
3. New starter package to buy hardware essentials (headphones, monitor, etc)
4. Learning & Development opportunities
5. Competitive PTO