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: IOHK is a pioneering tech company focused on blockchain research and development.
- Benefits: Enjoy remote work, laptop reimbursement, and competitive PTO.
- Why this job: Join a creative team pushing the boundaries of blockchain technology and smart contracts.
- Qualifications: Bachelor's in Computer Science or equivalent, plus 1 year of software development experience.
- Other info: Ideal for curious minds eager to innovate and challenge the status quo.
The predicted salary is between 30000 - 42000 £ per year.
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.
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.
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 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 features for Cardano smart contract languages, compilers, and runtime systems, along with documentation
- Engage in technical discussions with peers and stakeholders
- Conduct code and design reviews to ensure quality
- Provide expert Plutus guidance to partner teams for alignment and knowledge sharing
Requirements:
- Bachelor's degree in Computer Science or equivalent experience
- 1 year of experience in software development, data structures, and algorithms
- Experience in Haskell or other functional languages
- Experience in designing and implementing programming languages, compilers, and runtime systems
- Knowledge of blockchain and UTXO-based ledgers is a plus
- Strong English communication skills, both spoken and written
- Ability to work independently on tasks
- Leadership qualities to foster craftsmanship and innovation
- Experience in writing documentation and user manuals
Benefits:
- Remote work
- Laptop reimbursement
- Hardware essentials package
- Learning & Development opportunities
- Competitive PTO
At IOG, we value diversity and do not discriminate based on race, religion, gender, or other protected statuses.
Software Engineer (Haskell) Compiler - Plutus Core - IOE: Cardano - Part Time employer: Input Output (IOHK)
Contact Detail:
Input Output (IOHK) 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 development will set you apart.
✨Tip Number 2
Engage with the Cardano community and stay updated on their latest developments. This will not only enhance your knowledge of blockchain technology but also show your genuine interest in the projects at IOHK, making you a more appealing candidate.
✨Tip Number 3
Prepare to discuss your experience with version control systems like Git. Since the role involves using Git for version control and managing CI pipelines, being able to articulate your past experiences and best practices will demonstrate your readiness for the position.
✨Tip Number 4
Brush up on your knowledge of distributed systems and UTXO-based ledgers. Understanding these concepts will not only help you in the interview but also show that you are well-prepared to contribute to the Plutus Core team effectively.
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 skills in software development, particularly in writing clean and efficient code, as well as your familiarity with blockchain technology.
Craft a Compelling Cover Letter: In your cover letter, express your passion for blockchain technology and how your background aligns with the role. Mention specific experiences that demonstrate your ability to work independently and collaboratively, as well as your problem-solving skills.
Showcase Relevant Projects: If you have worked on any projects related to compilers, programming languages, or blockchain, be sure to include them in your application. Provide links to your GitHub or any other platforms where your work can be viewed.
Highlight Communication Skills: Since the role involves collaboration across multiple time zones, emphasise your strong English communication skills. Mention any experience you have in writing documentation or engaging in technical discussions, as this will be crucial for the position.
How to prepare for a job interview at Input Output (IOHK)
✨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. Practise coding problems and be ready to explain your thought process clearly, as this will showcase your problem-solving skills.
✨Emphasise Collaboration and Communication
Given the interdisciplinary nature of the team, highlight your ability to work collaboratively across different time zones. Share examples of how you've effectively communicated with team members in previous roles, especially in remote settings.
