Software Engineer

Summary

Join IOG, a blockchain research and development company, as a Software Engineer to contribute to the development of the Cardano blockchain. You will write high-quality code, work with cutting-edge research and technology, and collaborate with teams across multiple time zones. Responsibilities include implementing features, integrating software components, writing documentation, and fixing bugs. The ideal candidate possesses a minimum of 5 years of Haskell development experience, strong declarative programming skills, and proficiency in various Haskell libraries and testing frameworks. Remote work, laptop reimbursement, a new starter package, learning and development opportunities, and competitive PTO are offered.

Requirements

• 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
• 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: crypton, random, transformers, mtl, lens, conduit, persistent, aeson, etc
• Skilled at writing QuickCheck/Hedgehog generators and property tests
• Familiarity with common testing frameworks like HSpec or Tasty
• Capable of analyzing performance using common tooling like profiling and writing benchmarks
• Write idiomatic Haskell code that satisfies the acceptance criteria of a given task
• Write tests (unit tests, property tests) that provide sufficient and non-superfluous efficient code coverage
• Document code and APIs concisely and unambiguously
• Break down tasks into subtasks that are completable in a short amount of time and report completion as required by managers
• Pragmatically adhere to software engineering principles (modularity, incremental development, no premature optimization, no feature creep, no speculative generality, no code duplication ...)

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

Preferred Qualifications

• Experience with nix is preferred, but not required
• Experience with low level programming, such as dealing with foreign function interfaces and using primitive operations in Haskell is a plus, but not required

Benefits

• Remote work
• Laptop reimbursement
• New starter package to buy hardware essentials (headphones, monitor, etc)
• Learning & Development opportunities
• Competitive PTO