Software Engineer

Summary

Join IOHK, a blockchain research and development company, as a software developer specializing in Plutus Core. You will contribute to the development and enhancement of Cardano's smart contract functionality. Responsibilities include writing and maintaining Haskell code, conducting thorough testing and debugging, participating in code reviews, and designing secure software components. You will collaborate with a team of engineers and researchers, contributing to the design and implementation of essential features for Cardano's smart contract languages, compilers, and runtime systems. The ideal candidate possesses a Bachelor's degree in Computer Science or equivalent experience, along with experience in Haskell or a functional language. Experience with programming languages, compilers, and runtime systems is also required.

Requirements

• 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
• Strong English communication skills, in both speaking and writing
• Carrying out software development tasks independently
• Writing documentation for code and technical user manuals

Responsibilities

• 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
• 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
• 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
• Design and architect software components
• Design secure software and perform security analysis
• Review specifications from architects and formal methods specialists
• Contribute to algorithm design
• Write clear software documentation and technical user manuals
• Simplify complex blockchain concepts
• Read and comprehend research papers on cryptography and blockchain
• 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
• Understand Cardano, Blockchain, and Distributed systems
• Be knowledgeable in distributed and concurrent computation
• 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
• 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

Preferred Qualifications

• Exposure to blockchain and UTXO-based ledgers
• Leading by example to build a culture of craftsmanship and innovation

Benefits

• Remote work
• Laptop reimbursement
• New starter package to buy hardware essentials (headphones, monitor, etc)
• Learning & Development opportunities
• Competitive PTO