Software Engineer (Haskell) - Hydra - IOE: Cardano

Posted 13 Days Ago
Be an Early Applicant
Hiring Remotely in United Kingdom
Remote
Mid level
Blockchain • Software
The Role
As a Software Engineer, you will write high-quality Haskell code, collaborate with teams globally, and conduct testing and debugging to support product development.
Summary Generated by Built In

Description

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.

We invest in the unknown, applying our curiosity and desire for positive change to everything we do. By fueling creativity, innovation, and progress within our teams, our products and services are designed for people to be fearless, to be changemakers.

What the role involves:

As a Software Engineer at IOE you are responsible for writing high-quality code for our products. You have the exciting challenge of working with cutting-edge research and technology with a focus on the market's needs. To support you on this challenge, our products have software architects, product managers, project managers, formal methods specialists and QA test engineers, with whom you must communicate professionally, effectively and efficiently.

You will be joining the Hydra team, helping to build one of the key L2 technologies in the cardano ecosystem.

  • Follow agile software development practices
  • Work with teams across multiple time zones
  • Work independently on software development tasks
  • Be proactive and require minimal supervision or mentoring to complete tasks
  • Review specifications produced by architects and formal methods specialists
  • Write clean, straightforward, efficient code that satisfies previously agreed acceptance criteria and specifications
  • Commit often and submit small pull requests frequently
  • Cover your code with unit, property and integration tests when applicable
  • 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
  • Verify and deploy programs and systems
  • Troubleshoot, debug and upgrade existing software
  • Write documentation for the code
  • Write technical user manuals
  • Be knowledgeable of the basics of cryptography
Requirements

Who you are:

  • A minimum of 4 years development experience (professional or otherwise) in Haskell
  • Experience working with Git
  • Practical experience with Agile software development methods
  • 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
  • Break down tasks into sub-tasks 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, ...)
  • Good understanding of Quickcheck/Hedgehog and property testing.
  • Good understanding of concurrent programming / concurrency.
  • Experience in similar languages: PureScript, Elm, Idris, Agda, Ocaml, F#.
  • Proficiency with advanced FP techniques such as: 
  • Advanced functional data structures, Dependent types, Extensible effects, Generic programming, Streaming, Type-level programming
  • Experience in web technologies useful: HTML/CSS/JavaScript/TypeScript
  • Experience with build systems: Nix/Docker
  • Experience with web services development and RESTful APIs
  • Distributed system and network development
  • A track record of delivering software projects from start to finish
  • Proficiency in software development best practices, including design, implementation, testing, and debugging
  • Familiarity with continuous integration and deployment pipelines
  • Experience with cloud platforms such as AWS or GCP
  • Prior experience with cryptography protocol development or Web3 would be a valuable addition

Are you an IOGer?

Do you find yourself questioning the status quo? Do you tinker with ideas and long to turn those ideas into solutions? Are you able to spark thoughtful debates, bringing out the inquisitiveness in others? Does the promise of continuously growing excite you? Then get ready to reimagine everything you thought wasn’t possible because that’s what it means to be an IOGer - we don’t set limits, we break them. 

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

At IOG, we value diversity and always treat all employees and job applicants based on merit, qualifications, competence, and talent. We do not discriminate on the basis of race, religion, color, national origin, gender, sexual orientation, age, marital status, veteran status, or disability status.

Top Skills

Agile
AWS
CSS
Docker
GCP
Git
Haskell
Hedgehog
HTML
JavaScript
Nix
Quickcheck
Typescript
Am I A Good Fit?
beta
Get Personalized Job Insights.
Our AI-powered fit analysis compares your resume with a job listing so you know if your skills & experience align.

The Company
471 Employees
On-site Workplace
Year Founded: 2014

What We Do

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’.

Similar Jobs

Veeva Logo Veeva

DS/ML Engineer

Big Data • Cloud • Healthtech • Software • Big Data Analytics
Remote
London, Greater London, England, GBR
6000 Employees
45K-100K

Chainlink Labs Logo Chainlink Labs

Developer Relations Engineer

Blockchain • Internet of Things • Payments • Cryptocurrency • Web3
Remote
5 Locations
680 Employees

Accuris Logo Accuris

Senior ML Engineer

Information Technology • Machine Learning • Software • Conversational AI • Generative AI • Manufacturing
Remote
United Kingdom
1200 Employees

Veeva Logo Veeva

Senior iOS Engineer

Big Data • Cloud • Healthtech • Software • Big Data Analytics
Remote
London, Greater London, England, GBR
6000 Employees
50K-150K

Similar Companies Hiring

True Anomaly Thumbnail
Software • Machine Learning • Hardware • Defense • Artificial Intelligence • Aerospace
Colorado Springs, CO
131 Employees
Caliola Engineering Thumbnail
Software • Machine Learning • Hardware • Defense • Data Privacy • App development • Aerospace
Colorado Springs, CO
53 Employees
Red 6 Thumbnail
Virtual Reality • Software • Hardware • Defense • Aerospace
Orlando, Florida
113 Employees

Sign up now Access later

Create Free Account

Please log in or sign up to report this job.

Create Free Account