Software Engineer (Haskell) - Djed - IOE: Cardano

TN United Kingdom; United Kingdom; On-site; GBP 60,000 - 100,000; Full time

Job summary

An innovative technology company is seeking a Senior Software Engineer specializing in Haskell. This role emphasizes improving software practices and mentoring fellow engineers within a dynamic team environment. You will tackle complex system issues, advocate for quality, and lead cross-team initiatives to enhance productivity. With a focus on blockchain technology and decentralized finance, this position offers the chance to contribute to groundbreaking projects. Join a team where creativity and innovation thrive, and where your expertise will drive meaningful change in the industry.

Benefits

New starter package for hardware essentials

Competitive PTO

Qualifications

• 5+ years of experience writing maintainable Haskell.
• Good understanding of Haskell type system and GHC runtime.
• Ability to implement formal specifications.

Responsibilities

• Improve software building and maintenance practices.
• Mentor junior software engineers and lead technical initiatives.
• Collaborate across teams for iterative development.

Skills

Haskell

Agile Software Development

Git

Functional Programming

Object-Oriented Programming

Communication Skills

Education

Degree in Computer Science

Tools

Nix

Job description

Social network you want to login/join with:

Software Engineer (Haskell) - Djed - IOE: Cardano, gb

col-narrow-left

Client:

IO Global

Location:

gb, United Kingdom

Job Category:

Other

-

EU work permit required:

Yes

col-narrow-right

Job Reference:

000db863ee47

Job Views:

15

Posted:

05.05.2025

Expiry Date:

19.06.2025

col-wide

Job Description:

Who are we?

IOG, is a technology company focused on blockchain research and development. We are renowned for our scientific approach to blockchain development, emphasizing peer-reviewed research and formal methods to ensure security, scalability, and sustainability.

Our projects include the Cardano blockchain, as well as other products in the areas of decentralized finance (DeFi), governance, and identity management, aiming to advance the capabilities and adoption of blockchain and Web3 technology globally.

We invest in the unknown, applying our curiosity and desire for positive change to everything we do. By fueling creativity, innovation, and progress within our teams, our products and services are designed for people to be fearless, to be changemakers.

What the role involves:

As a Senior Software Engineer, you are responsible for improving how IOG builds and maintains software, alongside actively contributing to product development, including the quality of engineering practices within a team.

You will work across teams to identify cross-team improvements by (for example) sharing code, removing complexity or implementing new practices. As a senior member of the team you are expected to mentor and grow other software engineers and act as a go-to person within the team and the wider organisation across multiple codebases and languages.

• Advocates for and models great quality with proactive actions, and tackles difficult and subtle system issues
• Uses systematic debugging to diagnose all issues within a set of related domains and leads in fostering a culture of observability and monitoring across several teams
• Regularly works across teams to build a culture for iterative, autonomous development and future scaling.
• Is a technical and prioritisation leader across a set of related team's domains, consistently pushing boundaries and exploring gaps in understanding.
• Is a go-to within the team and the wider organisation across multiple codebases and languages.
• Be proactive and require minimal supervision or mentoring to complete tasks
• Review specifications produced by architects and formal methods specialists
• Lead the design of components and their interactions
• Be available for emergency fixing of severity 1 issues on deployed products
• Integrate software components and third-party libraries
• Verify and deploy programs and systems
• Write documentation for the code
• Write technical user manuals
• Be knowledgeable of distributed and concurrent computation
• Be knowledgeable of the basics of cryptography
• Implement new features of the stablecoin protocol and additional products
• Design and implement testing strategies for stablecoin and other products
• Synchronize with the technical manager to validate the roadmap
• Identify opportunities for improving productivity and robustness through refactorings / adoption of industry best practices
• Translate specifications into concrete designs, considering architectural design and security aspects
• Pair program with other team members, aiming to collaborate and educate
• Liaise with operations and UI teams to ensure that all aspects of product quality are considered
• Occasionally work on prototypes to try out new features in an experimental setting
• Estimate & prioritize work items and break them down into smaller tasks

Requirements

Who you are:

• Degree in Computer Science or equivalent / related qualification
• 5+ years of writing maintainable and well-tested Haskell in a commercial environment
• Good understanding of Haskell type system, libraries and GHC runtime & performanceExperience working with Git and Git workflow
• Practical experience with Agile software development methods
• Knowledge of functional and object-oriented programming paradigms
• Ability to work in a team and collaborate across different time zones and levels of experience
• Exceptional ability to communicate ideas in writing. Must be able to implement formal specifications
• Ability to understand project needs, objectives and timescales to feed into planning and setting deadlines for a specific stream.
• Clearly articulates new issues, suggests changes to management for implementation.
• Write idiomatic 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
• Provide detailed guidance on the work to be done, assist with task assignments and deliver deep reviews and feedback on the work.
• Pragmatically adhere to software engineering principles (modularity, incremental development, no premature optimization, no feature creep, no speculative generality, ...)

Additional experience (Optional)

• Knowledge of blockchain and DeFi applications, specifically Cardano
• Experience with finance applications
• Experience using nix

Are you an IOGer?

Do you find yourself questioning the status quo? Do you tinker with ideas and long to turn those ideas into solutions? Are you able to spark thoughtful debates, bringing out the inquisitiveness in others? Does the promise of continuously growing excite you? Then get ready to reimagine everything you thought wasn’t possible because that’s what it means to be an IOGer - we don’t set limits, we break them.

• New starter package to buy hardware essentials (headphones, monitor, etc)
• Competitive PTO

At IOG, we value diversity and always treat all employees and job applicants based on merit, qualifications, competence, and talent. We do not discriminate on the basis of race, religion, color, national origin, gender, sexual orientation, age, marital status, veteran status, or disability status.