Senior Software Engineer – Prototype, Innovation R&D

Job not on LinkedIn

October 17

Apply Now

Receive Emails with Similar Jobs

Input Output (IOHK)

WebsiteLinkedInAll Job Openings

Crypto • Web 3

Input Output (IOHK) is a technology company focused on research and development in the field of blockchain and cryptocurrencies. It is known for its key role in developing the Cardano blockchain platform, which aims to offer a more secure and scalable environment for digital transactions and smart contracts. IOHK places a strong emphasis on academic research and peer-reviewed development methods, contributing to its reputation in the blockchain space.

201 - 500 employees

Founded 2015

₿ Crypto

🌐 Web 3

📋 Description

• Responsible for improving how IOG builds and maintains software • Actively contributing to product development • Advocate for and model high-quality engineering practices • Apply systematic debugging to diagnose issues across multiple related domains • Foster a culture of observability and monitoring across teams • Collaborate cross-functionally to promote iterative, autonomous development practices • Act as a technical and prioritization leader across several domains • Identify gaps in understanding and push boundaries of technical excellence • Serve as a go-to expert within the team and wider organization • Work confidently across multiple codebases and programming languages • Operate with a high degree of autonomy • Review specifications from architects and formal methods specialists • Lead the design and integration of software components • Ensure reliability of deployed products • Contribute to high-quality deliverables by verifying, deploying, and documenting programs and systems • Produce clear technical documentation and user manuals

🎯 Requirements

• Degree in Computer Science is desirable but not essential • 7+ years of software engineering experience • Experience working with Git and Git workflow • Practical experience with Agile software development methods • Knowledge of functional and object-oriented programming paradigms • Ability to understand project needs, objectives and timescales to feed into planning and setting deadlines for a specific stream. • Clearly articulates new issues, suggests changes to management for implementation. • Write idiomatic code that satisfies the acceptance criteria of a given task • Write tests (unit tests, property tests) that provide sufficient and non-superfluous efficient code coverage. • Document code and APIs concisely and unambiguously • Provide detailed guidance on the work to be done, assist with task assignments and deliver deep reviews and feedback on the work. • Pragmatically adhere to software engineering principles (modularity, incremental development, no premature optimization, no feature creep, no speculative generality, ...) • **Specialist Skills **** • Advanced proficiency in multiple programming languages and functional paradigms, with the ability to select the most effective tools for prototyping and proof-of-concept work. • Expertise in at least one system programming language (e.g., Rust, C++), with strong performance optimisation and debugging skills. • Proficiency in functional languages (e.g., Haskell, OCaml, F#) and ability to apply functional programming principles in complex, production-grade prototypes. • Familiarity or experience with formal specification languages (e.g., Lean, Coq, TLA+) to model and verify protocol behaviour when needed. • Strong theoretical grounding in computer science, including algorithms, data structures, concurrency models, and distributed systems design. • Comprehensive understanding of blockchain technology, including consensus mechanisms, applied cryptography, networking protocols, and smart contract frameworks. • Proven self-direction, with the ability to independently identify problems, explore novel solutions, and rapidly adopt emerging tools and techniques. • Ability to design and document high-level architecture and system specifications for experimental or prototype systems, communicating trade-offs and assumptions clearly. • Proficient in reading and synthesising scientific research papers, translating theoretical concepts into practical prototypes. • Skilled in developing complex prototypes that demonstrate and validate new features, protocols, or architectural approaches, including integration of multiple technologies.

🏖️ Benefits

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