Software Engineer, Input Output
Haskell, Ledger
Blockchain infrastructure research & engineering
Open for applications
Blockchain infrastructure research & engineering
201-500 employees
Open for applications
201-500 employees
Company mission
To perturb the graphs to a more connected, transparent and fair configuration for both the flow of ideas and value.
Role
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: cryptonite, random, transformers, mtl, lens, conduit, persistent, aeson, etc
What the job 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
- 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 ...)
Our take
Blockchain technology has the potential to change the world, but its full potential is yet to be realised. Input Output's fully decentralized platform solves this problem through rigorous research practices and evidence-based software development, building high-assurance blockchain products for both the public and private sectors.
Input Output was founded by Charles Hoskinson, one of the most important names in cryptocurrency and blockchain. This has lent the company considerable weight, credibility and insight, allowing it to scale effectively. Input Output is best known for its flagship product, Cardano, a blockchain platform targeted at innovators, but its suite of products also includes Daedalus, ATALA, and Mantis.
Input Output's main challenge will be competing with other blockchain research and engineering companies. However, the strength of its technology and the expertise of its leadership should allow the company to remain competitive.
Freddie
Company Specialist at Welcome to the Jungle
Insights
Company
Employee endorsements
Challenging work
"The innovative projects we work on are exciting and challenging. The fact we are focused on solving real world problems makes it an even more..."
Company benefits
- Flexible schedule
- Remote work - ability to work anywhere
- Laptop reimbursement
- New starter package to buy hardware essentials (headphones, monitor, etc)
- Learning & Development Opportunities
- Minimum 4 weeks of PTO + Sick Leave plan
- Monthly Health Stipend to use towards any wellness or medical coverage/service
- Pension
Company values
- Good Citizenship
- Deliberate and Considered
- Innovative and Evidence Based
- Act With Ethics and Integrity
- Empowered
- Accountability and Ownership
Company HQ
Downtown Core, Singapore
Articles
Leadership
Charles Hoskinson
(CEO)Previously founded crytpocurrency companies Invictus Innovations and Ethereum. Also founded the Cryptocurrency Research Group.
Share this job
View 10 more jobs at Input Output