Let’s get started
By clicking ‘Next’, I agree to the Terms of Service
and Privacy Policy, and consent to receive emails from Rise
Jobs / Job page
Software Engineer (Haskell) - Hydra - IOE: Cardano image - Rise Careers
Job details

Software Engineer (Haskell) - Hydra - IOE: Cardano

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

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. 

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

Io Global Glassdoor Company Review
4.0 Glassdoor star iconGlassdoor star iconGlassdoor star iconGlassdoor star icon Glassdoor star icon
Io Global DE&I Review
4.0 Glassdoor star iconGlassdoor star iconGlassdoor star iconGlassdoor star icon Glassdoor star icon
CEO of Io Global
Io Global CEO photo
Unknown name
Approve of CEO

Average salary estimate

$105000 / YEARLY (est.)
min
max
$90000K
$120000K

If an employer mentions a salary or salary range on their job, we display it as an "Employer Estimate". If a job has no salary data, Rise displays an estimate if available.

Similar Jobs
Photo of the Rise User
Posted 3 days ago

Join IOG as a Cryptographic Engineer and drive innovation in blockchain technology through advanced cryptographic solutions.

Photo of the Rise User

Join IOG as a Senior Software Engineer to enhance blockchain development and mentor a talented team in a pioneering technology environment.

Photo of the Rise User

Join Talan as a Software Engineer to drive innovation in the Fixed Incomes Desk through agile development and collaboration with traders.

Photo of the Rise User

As a Principal Software Engineer at IOG, you will drive complex software initiatives and mentor engineers in a remote setting focused on blockchain technology.

Posted 7 days ago

Join Atropos Health as a Senior Software Engineer to contribute to transformative healthcare solutions through innovative software design.

Photo of the Rise User
Posted 2 days ago

Visa seeks a Senior Staff Software Engineer to lead the development of advanced risk detection systems in the fast-evolving payments landscape.

Photo of the Rise User
Chewy Hybrid Boston, Massachusetts, United States
Posted 13 days ago

Join Chewy's Vet Care team as a Full Stack Software Engineer II, crafting innovative solutions to enhance customer experience.

Photo of the Rise User
Enviva Hybrid Raleigh, North Carolina, United States
Posted 14 days ago

Seeking a talented Full Stack Microsoft Developer to contribute to Enviva's mission of a renewable energy future through innovative software solutions.

Photo of the Rise User
Customer-Centric
Mission Driven
Inclusive & Diverse
Rise from Within
Diversity of Opinions
Work/Life Harmony
Growth & Learning
Transparent & Candid
Medical Insurance
Paid Time-Off
Maternity Leave
Mental Health Resources
Equity
Child Care stipend
Paternity Leave
WFH Reimbursements
Flex-Friendly
Dental Insurance
Vision Insurance
Life insurance
Health Savings Account (HSA)
Flexible Spending Account (FSA)
401K Matching
Military leave

Become a pivotal force at NVIDIA as a Senior System Software Engineer, shaping the future of cloud gaming with cutting-edge technology.

Photo of the Rise User
Jasper AI Remote No location specified
Posted 14 days ago
Customer-Centric
Startup Mindset
Collaboration over Competition
Growth & Learning

As a Senior Software Engineer at Jasper, you will drive technical excellence in a collaborative remote environment.

Photo of the Rise User
Posted 2 months ago
Photo of the Rise User
Inclusive & Diverse
Rise from Within
Mission Driven
Diversity of Opinions
Work/Life Harmony
Transparent & Candid
Growth & Learning
Fast-Paced
Collaboration over Competition
Take Risks
Friends Outside of Work
Passion for Exploration
Customer-Centric
Reward & Recognition
Feedback Forward
Rapid Growth
Medical Insurance
Paid Time-Off
Maternity Leave
Mental Health Resources
Equity
Paternity Leave
Fully Distributed
Flex-Friendly
Some Meals Provided
Snacks
Social Gatherings
Pet Friendly
Company Retreats
Dental Insurance
Life insurance
Health Savings Account (HSA)
Photo of the Rise User
Inclusive & Diverse
Rise from Within
Mission Driven
Diversity of Opinions
Work/Life Harmony
Transparent & Candid
Growth & Learning
Fast-Paced
Collaboration over Competition
Take Risks
Friends Outside of Work
Passion for Exploration
Customer-Centric
Reward & Recognition
Feedback Forward
Rapid Growth
Medical Insurance
Paid Time-Off
Maternity Leave
Mental Health Resources
Equity
Paternity Leave
Fully Distributed
Flex-Friendly
Some Meals Provided
Snacks
Social Gatherings
Pet Friendly
Company Retreats
Dental Insurance
Life insurance
Health Savings Account (HSA)
Photo of the Rise User
Inclusive & Diverse
Rise from Within
Mission Driven
Diversity of Opinions
Work/Life Harmony
Transparent & Candid
Growth & Learning
Fast-Paced
Collaboration over Competition
Take Risks
Friends Outside of Work
Passion for Exploration
Customer-Centric
Reward & Recognition
Feedback Forward
Rapid Growth
Medical Insurance
Paid Time-Off
Maternity Leave
Mental Health Resources
Equity
Paternity Leave
Fully Distributed
Flex-Friendly
Some Meals Provided
Snacks
Social Gatherings
Pet Friendly
Company Retreats
Dental Insurance
Life insurance
Health Savings Account (HSA)
MATCH
Calculating your matching score...
FUNDING
SENIORITY LEVEL REQUIREMENT
TEAM SIZE
EMPLOYMENT TYPE
Full-time, remote
DATE POSTED
April 18, 2025

Subscribe to Rise newsletter

Risa star 🔮 Hi, I'm Risa! Your AI
Career Copilot
Want to see a list of jobs tailored to
you, just ask me below!
LATEST ACTIVITY
Photo of the Rise User
7 people applied to Frontend Engineer at MoralesHR
Photo of the Rise User
Someone from OH, Euclid just viewed Technical Account Manager at ZeroFOX
Photo of the Rise User
Someone from OH, Euclid just viewed Technical Account Manager (Enterprise) at Rippling
Photo of the Rise User
Someone from OH, Euclid just viewed Software Engineer (Node.js & AWS) at Litify
Photo of the Rise User
Someone from OH, Euclid just viewed Technical Program Manager at DeepSource Technologies
Photo of the Rise User
Someone from OH, Euclid just viewed Solution Engineer, Amazon Connect at NeuraFlash
G
Someone from OH, Dublin just viewed Outside Sales Representative at Go Flooring, LLC.
M
Someone from OH, Cincinnati just viewed Remote Data Entry Operator at MUTW, LLC