IOHKIO

Software Engineer (Haskell) Compiler - Plutus Core - IOE: Cardano - Part Time

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?

IOHK, 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:

The primary purpose of this role is to develop high-quality software solutions that meet customer needs. You will be responsible for writing high-quality code for our products. You will work with cutting-edge research and technology. 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.

The Plutus Core team is building the core of Cardano’s smart contract functionality on the bedrock of functional programming languages. This interdisciplinary team carries out original RD and turns the results into production systems. This team has designed and implemented four languages for Cardano smart contracts (Plinth, Plutus IR, Typed Plutus Core, and Untyped Plutus Core) and improved the compiler and runtime with more built-in functions and optimizations, expanding the expressiveness, capability and security of smart contracts on Cardano. The team has formalized the semantics of Typed and Untyped Plutus Core using Agda, developed novel compilation techniques for data types, and Implemented a compiler for compiling Plinth into Untyped Plutus Core, which uses Plutus IR and Typed Plutus Core as intermediate representations. They also implemented evaluators for Typed and Untyped Plutus Core, in Haskell and Agda. They also contributed to Cardano ledger updates for smart contracts, and published peer-reviewed research. .

Coding and Development:

  • Write and maintain code in Haskell.
  • Use Git for version control, committing often, and submitting small pull requests.
  • Write clean, efficient code that meets acceptance criteria and specifications.

Testing and Debugging:

  • Write and execute unit, property-based, and integration tests to ensure code quality.
  • Identify and fix bugs, including emergency fixes for severity 1 issues.
  • Troubleshoot, debug, and upgrade existing software.

Code Reviews and CI/CD:

  • Conduct and participate in code reviews to maintain code quality.
  • Implement and manage CI pipelines using GitHub Actions, troubleshooting and improving as needed, optionally using Nix.

Software Architecture and Security:

  • Design and architect software components.
  • Design secure software and perform security analysis.
  • Review specifications from architects and formal methods specialists.
  • Contribute to algorithm design.

Documentation and Research:

  • Write clear software documentation and technical user manuals
  • Simplify complex blockchain concepts.
  • Read and comprehend research papers on cryptography and blockchain.

Release Management and Agile Practices:

  • Follow release processes, manage cabal project SRPs, and use GitHub Actions.
  • Split work into tickets with acceptance criteria and maintain ticket status using Jira.
  • Adhere to agile software development practices.

Blockchain and Distributed Systems Knowledge:

  • Understand Cardano, Blockchain, and Distributed systems.
  • Be knowledgeable in distributed and concurrent computation.

Collaboration and Independence:

  • Work independently on software tasks, being proactive and requiring minimal supervision.
  • Collaborate with teams across multiple time zones.
  • Integrate software components and third-party libraries.
  • Verify and deploy programs and systems.

Plutus Core

  • Enhance Plutus Core tooling to create a world-class product that meets diverse user needs within technical constraints of the system.
  • Collaborate with engineers and researchers to design and implement essential features for Cardano smart contract languages, compilers, and runtime systems, along with comprehensive user documentation.
  • Engage in technical discussions with peers and stakeholders to drive informed decision-making.
  • Conduct thorough code and design reviews to ensure high-quality deliverables.
  • Provide expert Plutus guidance to partner teams, ensuring alignment and knowledge sharing across projects.

Requirements

Who you are:

  • Bachelor’s degree in Computer Science, or equivalent practical experience.
  • 1 year of experience with software development, data structures and algorithms.
  • Experience in programming in Haskell or another functional language
  • Experience in designing and implementing programming languages, compilers and runtime systems
  • Exposure to blockchain and UTXO-based ledgers would be a bonus
  • Strong English communication skills, in both speaking and writing
  • Carrying out software development tasks independently
  • Leading by example to build a culture of craftsmanship and innovation
  • Writing documentation for code and technical user manuals

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.

About the job

Apply before

Posted on

Job type

Part Time

Experience level

Mid-level

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

42 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 85,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) Compiler - Plutus Core - IOE: Cardano - Part Time • Remote (Work from Home) | Himalayas