Website iO Global
Software Engineer (Haskell Developer)
IO Global is searching for a Software Engineer (Haskell Developer) to join its Node team. The Cardano ledger is a large Haskell codebase, making nontrivial use of some of the programming language’s more advanced features, and tested using property-based testing. We are looking for someone to help us improve and add features to the Cardano blockchain, such as on-chain governance and support for light clients and sidechains.
Your mission
- Following agile software development practices
- Working with teams in multiple time zones
- Carrying out software development tasks independently, with minimal supervision or mentoring
- Reviewing specifications produced by architects and formal methods specialists
- Contributing to the design of algorithms
- Writing clean, straightforward, efficient code that satisfies acceptance criteria and specifications
- Committing often and submitting pull requests frequently, and reviewing the pull requests of your team mates
- Covering your code with unit, property, and integration tests when applicable
- Fixing bugs in your own and legacy code
- Being available for emergency fixing of severity 1 issues on deployed products
- Integrating software components and third-party libraries
- Verifying and deploying programs and systems
- Troubleshooting, debugging, and upgrading existing software
- Writing documentation for code and technical user manuals.
Requirements
Your expertise
- A minimum of two years’ development experience (professional or otherwise) in Haskell
- Knowledge of functional programming
- Experience with Git
- Good understanding of QuickCheck/Hedgehog and property testing, and of call-by-need, memoization, and lazy evaluation
- Familiarity with frameworks/libraries such as conduit, cryptonite, distributed process, lens, optparse-applicative, persistent, pipes, servant, stm, and template-haskell
- Strong knowledge of distributed and concurrent computation, and the basics of cryptography
- Proficiency with advanced FP techniques such as advanced functional data structures, dependent types, extensible effects, generic programming, streaming, and type-level programming.
To apply for this job please visit apply.workable.com.
Software Engineer (Haskell Developer) at iO Global
Share with someone
