Find a job 
Featured Companies 
Featured Universities 
For Companies At a Glance
- Tasks: Develop high-quality software solutions and write clean, efficient Haskell code.
- Company: Join IOHK, a leading tech company focused on innovative blockchain research and development.
- Benefits: Enjoy competitive PTO, a new starter package for hardware essentials, and flexible part-time hours.
- Why this job: Be part of a cutting-edge team shaping the future of smart contracts and blockchain technology.
- Qualifications: Bachelor's in Computer Science or equivalent, plus experience in Haskell and software development.
- Other info: Work independently while collaborating with a diverse, global team across multiple time zones.
Social network you want to login/join with:
Software Engineer (Haskell) Compiler – Plutus Core – IOE: Cardano – Part Time, gb
col-narrow-left
Client:
IO Global
Location:
gb, United Kingdom
Job Category:
Other
–
EU work permit required:
Yes
col-narrow-right
Job Reference:
2efc5bbaf0e3
Job Views:
6
Posted:
29.06.2025
Expiry Date:
13.08.2025
col-wide
Job Description:
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 R&D 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.
- New starter package to buy hardware essentials (headphones, monitor, etc)
- 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.
#J-18808-Ljbffr
Software Engineer (Haskell) Compiler - Plutus Core - IOE: Cardano - Part Time employer: Io Global
Contact Detail:
Io Global Recruiting Team
StudySmarter Expert Advice 🤫
We think this is how you could land Software Engineer (Haskell) Compiler - Plutus Core - IOE: Cardano - Part Time
✨Tip Number 1
Familiarise yourself with Haskell and its functional programming paradigms. Since the role specifically requires experience in Haskell, demonstrating your understanding of its unique features and how they apply to compiler design will set you apart.
✨Tip Number 2
Engage with the Cardano community and stay updated on their latest developments. Being knowledgeable about Cardano's smart contract functionality and recent updates will show your genuine interest and commitment to the project.
✨Tip Number 3
Prepare to discuss your experience with version control systems like Git. Since the role involves using Git for version control, being able to articulate your workflow and how you manage code changes will demonstrate your readiness for collaborative development.
✨Tip Number 4
Brush up on your knowledge of blockchain technology and distributed systems. Understanding these concepts will not only help you in the interview but also in your day-to-day tasks if you land the job.
We think you need these skills to ace Software Engineer (Haskell) Compiler - Plutus Core - IOE: Cardano - Part Time
Some tips for your application 🫡
Tailor Your CV: Make sure your CV highlights your experience with Haskell and any relevant projects you've worked on. Emphasise your understanding of blockchain technology and your ability to work independently, as these are key aspects of the role.
Craft a Strong Cover Letter: In your cover letter, express your passion for blockchain technology and your desire to contribute to Cardano's development. Mention specific projects or experiences that align with the job description, showcasing your problem-solving skills and creativity.
Showcase Relevant Skills: Clearly outline your programming skills, particularly in Haskell and functional programming. Include any experience with compilers, runtime systems, and testing methodologies, as these are crucial for the role.
Highlight Collaboration Experience: Since the role involves working with interdisciplinary teams, mention any past experiences where you collaborated effectively with others. This could include teamwork in academic projects or professional settings, demonstrating your communication skills and ability to work across time zones.
How to prepare for a job interview at Io Global
✨Showcase Your Haskell Skills
Make sure to highlight your experience with Haskell during the interview. Be prepared to discuss specific projects where you've used Haskell, focusing on the challenges you faced and how you overcame them.
✨Understand Blockchain Fundamentals
Since the role involves working with Cardano and blockchain technology, brush up on your knowledge of blockchain concepts, especially UTXO-based ledgers. Being able to discuss these topics will demonstrate your interest and understanding of the field.
✨Prepare for Technical Questions
Expect technical questions related to software development, data structures, and algorithms. Practice coding problems and be ready to explain your thought process clearly, as this will showcase your problem-solving skills.
✨Communicate Effectively
Strong communication skills are essential for this role. Practice articulating your ideas and experiences clearly, and be prepared to engage in discussions about your approach to coding, testing, and collaborating with teams across different time zones.
