Senior Software Engineer (Haskell) - Consensus - IOE: Cardano

IO Global; United States; Remote; USD 120,000 - 160,000; Full time

Job summary

IO Global, a leader in blockchain technology, is seeking a Senior Software Engineer to enhance software development practices and mentor team members. The role involves improving engineering quality, leading design efforts, and contributing to product development across multiple teams. Ideal candidates will have extensive experience in Haskell and a strong understanding of distributed systems.

Benefits

Remote work

Laptop reimbursement

New starter package for hardware essentials

Learning & Development opportunities

Competitive PTO

Qualifications

• 10+ years of software engineering experience in Haskell.
• Experience working with Git and Git workflow.
• Ability to understand project needs and articulate issues.

Responsibilities

• Improve software development practices and mentor junior engineers.
• Lead design of components and interactions.
• Diagnose and resolve system issues proactively.

Skills

Haskell

Git

Debugging

Documentation

Distributed Systems

Education

Degree in Computer Science

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.

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. This includes the quality of engineering practices within a team and working across teams to identify cross-team improvements for IOG 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.
• 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
• Verify and deploy programs and systems
• Write documentation for the code
• Write technical user manuals

Who you are:

• Degree in Computer Science is desirable but not essential
• 10+ years of software engineering experience in Haskell
• Experience working with Git and Git workflow
• 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, ...)

Specialist Skills ( Consensus)

• Experience maintaining large and complex codebases.

• Ability to understand scientific research and apply it to software design and implementation.
• A deep understanding of distributed systems, ensuring a strong foundation for contributing to relevant projects.
• Prior experience with blockchain technology is advantageous but not required.
• Experience debugging Haskell performance problems (CPU usage, and memory leaks)
• Demonstrated ability to navigate the typical developer workflow effectively, including code review, debugging, and thorough documentation of decisions and processes.

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.

• Remote work
• Laptop reimbursement
• New starter package to buy hardware essentials (headphones, monitor, etc)
• Learning & Development opportunities
• 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.