Software Engineer (Haskell) - Djed - IOE: Cardano

Input Output (IOHK); United Kingdom; Remote; GBP 60,000 - 100,000; Full time

Job summary

Join a forward-thinking technology company that is redefining blockchain development. As a Senior Software Engineer specializing in Haskell, you will enhance software practices and mentor fellow engineers. This role involves collaborative development across teams, tackling complex challenges, and contributing to groundbreaking projects in decentralized finance and blockchain technology. With a commitment to quality and innovation, this opportunity allows you to make a significant impact in a dynamic environment that values curiosity and positive change.

Benefits

Remote work

Laptop reimbursement

Hardware essentials package

Learning & Development opportunities

Competitive PTO

Qualifications

• 5+ years of experience with maintainable, well-tested Haskell.
• Strong understanding of Haskell type system and performance.

Responsibilities

• Improve software building and maintenance practices.
• Collaborate across teams for iterative and scalable development.

Skills

Haskell

Git

Agile methodologies

Functional programming

Object-oriented programming

Communication skills

Education

Degree in Computer Science

Tools

Nix

Job description

Software Engineer (Haskell) - Djed - IOE: Cardano

2 weeks ago Be among the first 25 applicants

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 decentralized finance (DeFi), governance, and identity management, aiming to advance blockchain and Web3 technology globally.

We invest in the unknown, applying curiosity and a desire for positive change. Our products and services are designed for people to be fearless and to be changemakers.

What the role involves:

As a Senior Software Engineer, you will improve how IOG builds and maintains software, contribute to product development, and enhance engineering practices within the team. You will collaborate across teams to share code, reduce complexity, and implement new practices. Mentoring and guiding other engineers is also expected.

• Advocate for quality, proactive in addressing system issues
• Diagnose issues through systematic debugging, foster observability and monitoring culture
• Collaborate across teams for iterative, scalable development
• Lead in technical and prioritization decisions
• Serve as a go-to person across multiple codebases and languages
• Work independently with minimal supervision
• Review specifications from architects and formal methods specialists
• Design components and their interactions
• Respond to emergency fixes for critical issues
• Integrate software components and third-party libraries
• Verify and deploy systems
• Document code and create user manuals
• Understand distributed and concurrent computation, cryptography basics
• Implement features for stablecoin protocols and other products
• Design testing strategies
• Coordinate with management on roadmaps
• Identify productivity and robustness improvements
• Translate specifications into designs, considering security
• Pair program and collaborate closely with team members
• Coordinate with operations and UI teams
• Prototype new features as needed
• Estimate and prioritize work, break down tasks

Requirements

Who you are:

• Degree in Computer Science or related field
• 5+ years of experience with maintainable, well-tested Haskell in a commercial setting
• Strong understanding of Haskell type system, libraries, GHC runtime & performance
• Experience with Git and Agile methodologies
• Knowledge of functional and object-oriented paradigms
• Teamwork skills across time zones and experience levels
• Excellent written communication skills, capable of formal specifications
• Ability to understand project needs and deadlines
• Ability to articulate issues and suggest management changes
• Write idiomatic, efficient code meeting acceptance criteria
• Develop comprehensive tests and documentation
• Guide and review team work
• Adhere to sound software engineering principles

Additional Experience (Optional)

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

Are you an IOGer?

If you question the status quo, tinker with ideas, inspire debate, and thrive on growth, you might be an IOGer. We push boundaries and reimagine possibilities.

Benefits

• Remote work
• Laptop reimbursement
• Hardware essentials package
• Learning & Development opportunities
• Competitive PTO