Software Engineer (Haskell) - Djed - IOE: Cardano

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. 

Benefits

• 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.