Input Output (IOHK)

2 Jobs

456 Employees

About the Company

Founded in 2015, IOHK is one of the world’s pre-eminent blockchain research and engineering companies, best known for the Cardano blockchain platform
We are a fully decentralized, remote-working organization committed to the highest principles of academic rigour and evidence-based software development. The company builds high-assurance blockchain products for public and private sector clients.
Our goal is simple – to fuel our drive to be best in class by giving you the opportunity, resources and support to deliver your finest work to date. You’ll work with some exceptionally talented and friendly individuals who are always open to new ideas and ways of working.
IOHK is an advocate of decentralized remote working, with over 300 people working in more than 50 countries. Everyone has a different skill set, a different culture, and is at a different stage in their life. We aim to make collaboration between diverse people fun, exciting, and always rewarding. Many companies say they ‘think outside the box’ – for IOHK it’s more, ‘we think outside the geography’.

Listed Jobs

Company Name: Input Output (IOHK)
Job Title: Senior Software Engineer (Prototype) - Innovation R&D
Job Description: **Job title** Senior Software Engineer (Prototype) – Innovation R&D **Role summary** Lead the design, implementation, and mentorship of high‑quality software prototypes. Drive engineering excellence across multiple codebases, advocate best practices, and ensure reliable, scalable blockchain‑related solutions. **Expectations** - Deliver complex, production‑grade prototypes with minimal supervision. - Mentor junior engineers and serve as technical authority across teams. - Ensure high observability, rigorous testing, and rapid incident response. **Key responsibilities** - Design and integrate software components, including third‑party libraries, for blockchain and distributed systems. - Translate architectural and formal‑spec specifications into code, maintaining alignment with design principles. - Apply systematic debugging and monitor cross‑team systems to detect and resolve subtle issues. - Lead iterative, autonomous development practices and prioritize tasks across multiple domains. - Produce clear technical documentation, user manuals, and API references. - Sustain code quality through peer reviews, test coverage, and adherence to software engineering principles. **Required skills** - 7+ years of software engineering experience; Git, Agile, and CI/CD expertise. - Advanced proficiency in multiple languages: Rust, C++, Haskell, OCaml, or F#; performance optimisation and debugging. - Functional and object‑oriented knowledge, with ability to choose appropriate paradigms. - Strong background in algorithms, data structures, concurrency, and distributed‑systems design. - Experience with formal specification languages (Lean, Coq, TLA+) for protocol modelling. - Deep understanding of blockchain fundamentals: consensus, cryptography, networking, and smart‑contract platforms. - Excellent communication: technical writing, documentation, mentorship, and cross‑functional collaboration. **Required education & certifications** - Bachelor’s (or higher) in Computer Science or related field preferred but not mandatory. - Relevant certifications in blockchain technologies, formal methods, or advanced programming languages are advantageous.

Company Name: Input Output (IOHK)
Job Title: Software Engineer (Prototype) - Innovation R&D
Job Description: Job title: Software Engineer (Prototype) – Innovation R&D Role Summary Design and implement prototype components, models, and simulators at the intersection of engineering and research. Collaborate with architects, cryptographers, and researchers to shape innovation projects, following Agile practices and delivering clean, well‑tested code that meets defined acceptance criteria. Expectations - Work independently with minimal supervision. - Engage proactively with stakeholders across multiple time zones. - Rapidly commit small, frequent pull requests and review peer work. - Respond promptly to high‑severity incidents on deployed products. - Produce clear, concise documentation and technical manuals. Key Responsibilities - Develop prototypes, models, and simulators for blockchain and distributed systems. - Review architectural specifications and formal method documents. - Contribute to algorithm design and system architecture. - Write efficient, idiomatic code in object‑oriented and functional paradigms (Rust, C++, Haskell, OCaml, F#). - Implement unit, property, and integration tests; maintain quality coverage. - Debug, upgrade, and maintain existing codebases. - Integrate third‑party libraries and verify deployments. - Create high‑level design documents and prototype code demonstrations. - Write and maintain API and code documentation. - Break tasks into short, actionable sub‑tasks and report progress. Required Skills - 3+ years of software development experience. - Proficient with Git and Git workflows. - Practical knowledge of Agile methodologies. - Strong grasp of algorithms, data structures, concurrency, and system programming. - Experience with functional and object‑oriented programming. - Familiarity with blockchain fundamentals: consensus, cryptography, smart contracts, and distributed computation. - Ability to read and apply scientific literature. - Excellent written communication and documentation skills. - Self‑motivated, adaptive, and committed to continuous learning. Required Education & Certifications - Bachelor’s degree in Computer Science or related field (desirable, not mandatory). - Optional certification or experience in formal specification languages (e.g., Lean) is a plus.