Description:

As a Software Engineer at IOG, you will be responsible for writing high-quality code for our products.
You will work with cutting-edge research and technology to implement features like protocol rules and transaction validation.
The role involves collaboration with teams across multiple time zones in Europe and America.
You are expected to be proactive, work independently, and require minimal supervision or mentoring to complete tasks.
You will collaborate with other teams on integration issues and problems that span a greater context.
Responsibilities include reviewing specifications produced by formal methods specialists and committing often with small pull requests.
You will cover your code with unit, property, and integration tests, and review the pull requests of your teammates.
Fixing bugs in your own code and in legacy code from others is part of the job.
You must be available for emergency fixing of severity 1 issues on deployed products.
The role requires integrating software components and third-party libraries.
Writing clear documentation with sensible examples is essential.
You will communicate with others professionally, effectively, and efficiently.

Requirements:

You must be able to write idiomatic Haskell code that satisfies the acceptance criteria of a given task.
Writing tests (unit tests, property tests) that provide sufficient and non-superfluous efficient code coverage is required.
You should document code and APIs concisely and unambiguously.
The ability to break down tasks into subtasks that are completable in a short amount of time and report completion as required by managers is necessary.
You must pragmatically adhere to software engineering principles such as modularity, incremental development, and avoiding premature optimization.
A degree in Computer Science is desirable but not essential.
You should have a minimum of 5 years of development experience (professional or otherwise) in Haskell.
Strong experience in writing code in the declarative programming paradigm is required.
Experience working with Git and Github is necessary.
Experience with nix is preferred, but not required.
Proficiency with advanced functional programming techniques is essential.
A good understanding of evaluation strategies and related concepts is required.
Experience with serialization techniques in Haskell using common libraries is necessary.
An advanced level understanding of pure functional data structures and Haskell libraries is required.
Comfort using other common Haskell libraries is essential.

The position offers remote work flexibility.
You will receive laptop reimbursement.
A new starter package is provided to buy hardware essentials such as headphones and monitors.
There are learning and development opportunities available.
Competitive paid time off (PTO) is offered.