IOHKIO

Software Engineer (Haskell) - Djed

Founded in 2015 by Charles Hoskinson and Jeremy Wood, IOHK is one of the world's pre-eminent blockchain infrastructure research and engineering companies.

IOHK

Employee count: 201-500

United Kingdom only

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 decentralized finance (DeFi), governance, and identity management, aiming to advance the capabilities and adoption of blockchain 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 Software Engineer at IOE you are responsible for writing high-quality code for our products. You have the exciting challenge of working with cutting-edge research and technology with a focus on the market's needs. To support you on this challenge, our products have software architects, product managers, project managers, formal methods specialists and QA test engineers, with whom you must communicate professionally, effectively and efficiently.

  • Follow agile software development practices
  • Work with teams across multiple time zones
  • Work independently on software development tasks
  • 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
  • Is a technical and prioritisation leader across a set of related team's domains, consistently pushing boundaries and exploring gaps in understanding.
  • Be proactive and require minimal supervision or mentoring to complete tasks
  • Review specifications produced by architects and formal methods specialists
  • Contribute to the design of algorithms
  • Write clean, straightforward, efficient code that satisfies previously agreed acceptance criteria and specifications
  • Commit often and submit small pull requests frequently
  • Cover your code with unit, property and integration tests when applicable
  • Review the pull requests of your team mates
  • Fix bugs in your own code and in legacy code from others
  • 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
  • Troubleshoot, debug and upgrade existing software
  • 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 is desirable but not essential
  • A minimum of 2-3 years development experience (professional or otherwise) in Haskell
  • Experience working with Git and Git workflow
  • Practical experience with Agile software development methods
  • Knowledge of functional and object-oriented programming paradigms
  • Good understanding of Haskell type system, libraries and GHC runtime & performance
  • 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
  • Break down tasks into sub-tasks that are completable in a short amount of time and report completion as required by managers
  • Pragmatically adhere to software engineering principles (modularity, incremental development, no premature optimization, no feature creep, no speculative generality, ...)
  • Optional
    • Knowledge of blockchain and DeFi applications, specifically Cardano
    • Experience with finance applications
    • Experience using nix

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.

About the job

Apply before

Posted on

Job type

Full Time

Experience level

Mid-level
Senior

Location requirements

Hiring timezones

United Kingdom +/- 0 hours

About IOHK

Learn more about IOHK and their company culture.

View company profile

Founded in 2015 by Charles Hoskinson and Jeremy Wood, IOHK is one of the world's pre-eminent blockchain infrastructure research and engineering companies. We are a fully decentralised remote working organisation committed to the highest principles of academic rigour and evidence-based software development. The company builds high-assurance blockchain infrastructure solutions for public, private sector and government clients. It is also the driving force behind the decentralised and smart contract platform, Cardano.

Cascading disruption

It is the founding principle of IOHK. Cascading disruption is the idea that most of the structures that form the world’s financial, governance and social systems are inherently unstable and thus minor perturbations can cause a ripple effect that fundamentally reconfigures the entire system. Our company is committed to identifying and developing technology to force these perturbations in order to push towards a more fair and transparent order.

The mission of IOHK

We view the world as a series of giant and mostly interconnected social graphs with hundreds of complex systems embedded. Our mission is to perturb the graphs to a more connected, transparent and fair configuration for both the flow of ideas and value.

Input Output the company

IOHK is a truly global organisation with a remote team of 400+ people across 50+ countries. We have a rich culture with people from all over the world offering different skillsets, different cultural perspectives and at different life stages.

Employee benefits

Learn about the employee benefits and perks provided at IOHK.

View benefits

Flexible work schedule

As a global, distributed company, colleagues can work to a flexible schedule.

Laptop reimbursement

All colleagues are eligible to have a laptop purchase reimbursed up to $2,000.

Generous vacation

All of our full-time employees and service providers receive a minimum of 4 weeks PTO a year.

Professional development

IO Global offers specialised learning platforms & extensive internal content for continued learning, up-skilling, and development.

View IOHK's employee benefits
Claim this profileIOHK logoIO

IOHK

Company size

201-500 employees

Founded in

2015

Chief executive officer

Charles Hoskinson

Employees live in

View company profile

Similar remote jobs

Here are other jobs you might want to apply for.

View all remote jobs

46 remote jobs at IOHK

Explore the variety of open remote roles at IOHK, offering flexible work options across multiple disciplines and skill levels.

View all jobs at IOHK

Remote companies like IOHK

Find your next opportunity by exploring profiles of companies that are similar to IOHK. Compare culture, benefits, and job openings on Himalayas.

View all companies

Find your dream job

Sign up now and join over 100,000 remote workers who receive personalized job alerts, curated job matches, and more for free!

Sign up
Himalayas profile for an example user named Frankie Sullivan
IOHK hiring Software Engineer (Haskell) - Djed • Remote (Work from Home) | Himalayas