Enable job alerts via email!
Software Engineer (Haskell) - Ledger - IOE: Cardano
Input Output (IOHK)
United Kingdom
Remote
USD 130,000 - 150,000
Full time
Boost your interview chances
Create a job specific, tailored resume for higher success rate.
Job summary
Join a leading technology company at the forefront of blockchain research as a Software Engineer specializing in Haskell. You'll be responsible for crafting high-quality code while working with advanced functional programming techniques. Your work will support the Cardano blockchain's ledger, ensuring its security and scalability in a collaborative environment with global teams.
Benefits
Qualifications
- Minimum 5 years development experience in Haskell.
- Experience with advanced functional programming techniques.
- Familiarity with common Haskell libraries.
Responsibilities
- Write high-quality code to implement features and validate transactions.
- Collaborate with global teams on integration issues.
- Commit often and submit small pull requests frequently.
Skills
Education
Job description
22 hours ago Be among the first 25 applicants
Get AI-powered advice on this job and more exclusive features.
Who are we?
IOG, 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.
Who are we?
IOG, 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 the Cardano blockchain, as well as other products in the areas of decentralized finance (DeFi), governance, and identity management, aiming to advance the capabilities and adoption of blockchain and Web3 technology globally.
What the role involves:
As a Software Engineer at IOG you are responsible for writing high-quality code for our products. You have the exciting challenge of working with cutting-edge research and technology. Join the team behind the development of the Cardano blockchain. Our team specifically is responsible for advancing Cardano's ledger, maintaining its security, scalability, and overall architecture.
- Write high-quality code, working with cutting-edge research and technology to implement features like protocol rules and transaction validation
- Work with teams across multiple time zones in Europe and America
- Be proactive, work independently and require minimal supervision or mentoring to complete tasks
- Collaborate with other teams on integration issues and problems that span a greater context
- Review specifications produced by formal methods specialists
- Commit often and submit small pull requests frequently
- Cover your code with unit, property and integration tests
- Review the pull requests of your team mates
- Fix bugs in your own code and in legacy code from others
- Be available for emergency fixing of severity 1 issues on deployed products
- Integrate software components and third-party libraries
- Write clear documentation with sensible examples
- Communicate with others professionally, effectively and efficiently
Who you are:
- Degree in Computer Science is desirable but not essential
- A minimum of 5 years development experience (professional or otherwise) in Haskell
- Strong experience at writing code in the declarative programming paradigm
- Experience working with Git and Github
- Experience with nix is preferred, but not required
- Proficiency with advanced FP techniques such as:
- Type families, Higher Kinded Data, Dependent types, Generic programming, Type-level programming, Free monads
- Good understanding of evaluation strategies and related concepts: call-by-need, lazy evaluation, memoization, weak-head normal form vs normal form. Capable of identifying and avoiding space leaks
- Experience with serialization techniques in Haskell using any of the common libraries: cborg, serialise, store, flat, binary, etc
- Advanced level understanding of pure functional data structures and Haskell libraries that provide such functionality: containers, vector, bytestring, etc
- Comfortable using other common Haskell libraries such as: crypton, random, transformers, mtl, lens, conduit, persistent, aeson, etc
- Skilled at writing QuickCheck/Hedgehog generators and property tests
- Familiarity with common testing frameworks like HSpec or Tasty
- Capable of analyzing performance using common tooling like profiling and writing benchmarks
- Experience with low level programming, such as dealing with foreign function interfaces and using primitive operations in Haskell is a plus, but not required
- Write idiomatic Haskell 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
- Break down tasks into subtasks that are completable in a short amount of time and report completion as required by managers
- Pragmatically adhere to software engineering principles (modularity, incremental development, no premature optimization, no feature creep, no speculative generality, no code duplication ...)
- Remote work
- Laptop reimbursement
- New starter package to buy hardware essentials (headphones, monitor, etc)
- Learning & Development opportunities
- Competitive PTO
- Seniority levelMid-Senior level
- Employment typeFull-time
- Job functionEngineering and Information Technology
- IndustriesNon-profit Organizations and Primary and Secondary Education
Referrals increase your chances of interviewing at Input Output (IOHK) by 2x
Get notified about new Software Engineer jobs in United Kingdom.
United Kingdom $130,000.00-$150,000.00 1 week ago
Birmingham, England, United Kingdom 1 week ago
London, England, United Kingdom 4 months ago
London, England, United Kingdom 1 week ago
London, England, United Kingdom 1 week ago
London, England, United Kingdom 2 weeks ago
London, England, United Kingdom 1 month ago
Greater London, England, United Kingdom 1 month ago
London, England, United Kingdom 1 week ago
London, England, United Kingdom $30,000.00-$40,000.00 1 month ago
Hounslow, England, United Kingdom 5 days ago
United Kingdom $75,000.00-$100,000.00 1 month ago
London, England, United Kingdom 6 days ago
Birmingham, England, United Kingdom $35,000.00-$40,000.00 2 weeks ago
Belfast, Northern Ireland, United Kingdom $35,000.00-$40,000.00 2 weeks ago
Glasgow, Scotland, United Kingdom $35,000.00-$40,000.00 2 weeks ago
Manchester, England, United Kingdom $35,000.00-$40,000.00 2 weeks ago
Manchester, England, United Kingdom $30,000.00-$40,000.00 1 month ago
London, England, United Kingdom 2 weeks ago
United Kingdom $100,000.00-$150,000.00 4 weeks ago
London, England, United Kingdom 2 months ago
Leeds, England, United Kingdom $35,000.00-$40,000.00 2 weeks ago
We’re unlocking community knowledge in a new way. Experts add insights directly into each article, started with the help of AI.
'/%3e%3cpath%20d='M101.744%2012.4726L102.894%2016.1947L99.0021%2013.2201L101.744%2012.4726ZM105.3%208.40937H100.488L99.0026%203.59473L97.5116%208.41047L92.7%208.40385L96.5965%2011.3834L95.1055%2016.1942L99.0021%2013.2196L101.408%2011.3834L105.3%208.40992V8.40937Z'%20fill='white'/%3e%3cdefs%3e%3clinearGradient%20id='paint0_linear_5593_1381'%20x1='90'%20y1='9.44471'%20x2='99'%20y2='9.44471'%20gradientUnits='userSpaceOnUse'%3e%3cstop%20stop-color='%2300AD70'/%3e%3cstop%20offset='0.998594'%20stop-color='%2300B67A'/%3e%3cstop%20offset='1'%20stop-color='%23DCDCE6'/%3e%3c/linearGradient%3e%3c/defs%3e%3c/svg%3e){kind=small}
job faster
