The AI Works community logo The Blockchain Works community logo The Functional Works community logo The Golang Works community logo The Java Works community logo The JavaScript Works community logo The Python Works community logo The Remote Works community logo The WorksHub company logo

We use cookies and other tracking technologies to improve your browsing experience on our site, analyze site traffic, and understand where our audience is coming from. To find out more, please read our privacy policy.

By choosing 'I Accept', you consent to our use of cookies and other tracking technologies.

We use cookies and other tracking technologies to improve your browsing experience on our site, analyze site traffic, and understand where our audience is coming from. To find out more, please read our privacy policy.

By choosing 'I Accept', you consent to our use of cookies and other tracking technologies. Less

We use cookies and other tracking technologies... More

Login or register
to publish this job!

Login or register
to save this job!

Login or register
to save interesting jobs!

Login or register
to get access to all your job applications!

Login or register to start contributing with an article!

Login or register
to see more jobs from this company!

Login or register
to boost this post!

Show some love to the author of this blog by giving their post some rocket fuel 🚀.

Login or register to search for your ideal job!

Login or register to start working on this issue!

Login or register
to save articles!

Login to see the application

Engineers who find a new job through Java Works average a 15% increase in salary 🚀

You will be redirected back to this page right after signin

Software Engineer - Formal Methods

Remote | Worldwide

18 May, 2022

Compensation

Competitive

Contract type

Full time
Remote working

Technologies & frameworks

  • Haskell
  • NixOps
  • Agda

Benefits & perks

  • Paid sick days
  • Pension
  • Promote from within
  • Committed to a diverse team
  • Performance bonus
  • 100% remote working
  • Paid time off
  • Tokens
  • Learning & development
  • Health insurance - us employees
  • Healthcare stipend - uk & ireland employees
  • No call fridays
  • Company meetups
IO Global is searching for a Software Engineer - Formal Methods to join their Ledger team

Role overview

IO Global is searching for a Software Engineer - Formal Methods to join their Ledger team. As a Software Engineer specializing in Formal Methods, you are the interface between research and development. You will interact with researchers and produce formal specifications from the researchers’ work, iteratively refining specifications and working towards high-quality designs, prototypes, and practical implementations. In some projects, critical steps will be proven using appropriate formal frameworks and tools. In other projects, the expected performance of the resulting system will be modeled so that the impact of design decisions on performance and stability can be assessed early on. Based on this process, you will provide feedback to the researchers. Finally, based on their specifications, designs, simulations, and/or prototypes, you will advise and assist other development teams to implement and integrate their work into production systems.

Come help design, specify, and verify new features for the Cardano ledger. You will work closely with the Haskell developers to bring to life these new features and ensure that they are implemented correctly.

Your mission

  • Produce semi-formal, formal, and executable specifications and prototypes based on research papers and communication with researchers
  • Model the performance of formally specified systems
  • Produce prototypes and simulations
  • Refine specifications using the performance models and simulations to gauge the impact of design decisions during refinements
  • Prove properties of the specifications and correctness of refinement steps
  • Communicate with both researchers and developers, and act as a bridge between the two
  • Provide feedback to researchers about issues that come up when their work is incorporated into real-world systems
  • Assist developers in understanding your specifications and in turning them into production code
  • Report on your work in the form of blog posts, technical report documents, presentations at internal seminars, workshops, and conferences, and/or by contributing to academic papers
  • Participate in code reviews
  • Contribute property-based tests, both for testing properties of the executable specifications/prototypes and for verifying production code against the executable specifications
  • Work in an international team across multiple time zones
  • Break down large and complex tasks assigned to you into workable items, and work on them independently
  • Share specialized knowledge with other team members.

Requirements

Your expertise

  • A higher degree in Computer Science or a related field
  • A minimum of 2-3 years of experience with a proof assistant or dependently typed programming language, preferably Agda
  • Experience of working and collaborating with Git
  • Experience in one or more of the domains we are working in – networking, distributed systems, programming language design, blockchain applications – would be a bonus.
  • Demonstrated ability to work on difficult problems in a self-driven way.

Benefits

Location

IOG is a fully distributed organization and therefore this is a remote position. Due to team distribution we are ideally searching for someone in a European or USA timezone.

All Colleagues

  • Flexible schedule
  • Remote work - ability to work anywhere
  • Laptop reimbursement
  • New starter package to buy hardware essentials (headphones, monitor, etc)
  • Learning & Development opportunities
  • Competitive PTO and Sick Leave plan

US Employees

  • Medical, Dental, and Vision benefits coverage through Anthem with 100% premium cost covered by IO Global for the employee and dependents
  • Health Savings Account
  • Life Insurance

UK Employees

  • Monthly Health Stipend to use towards any wellness or medical coverage/service
  • Pension
  • 250+
  • Singapore

Founded in 2015, IO Global 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. IO Global is an advocate of decentralized remote working, with more than 700 people working in more than 60 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 IO Global it’s more, ‘we think outside the geography’.

View 27 jobs
Engineers who find a new job through Java Works average a 15% increase in salary.

Compensation

Competitive

Contract type

Full time
Remote working

Technologies & frameworks

  • Haskell
  • NixOps
  • Agda

Benefits & perks

  • Paid sick days
  • Pension
  • Promote from within
  • Committed to a diverse team
  • Performance bonus
  • 100% remote working
  • Paid time off
  • Tokens
  • Learning & development
  • Health insurance - us employees
  • Healthcare stipend - uk & ireland employees
  • No call fridays
  • Company meetups

Get hired!

Sign up now and apply for roles at companies that interest you.

Engineers who find a new job through Java Works average a 15% increase in salary.

Start with GitHubStart with Stack OverflowStart with Email

Get hired!

Sign up now and apply for roles at companies that interest you.

Engineers who find a new job through Java Works average a 15% increase in salary.

Start with GitHubStart with Stack OverflowStart with Email

Other roles that might interest you

Engineering leader that is building out our hosting platform Haskell team.
Remote
IO Global is searching for a Software Engineer (Haskell Developer) to join their Node CLI/API team.
Remote
We are looking for an experienced Haskell Software Engineer to join our fantastic Ledger team.
Remote
Software Engineer - Formal Methods