Posted 11 months ago
IO Global is searching for a Software Engineer - Formal Methods to join their Ledger team
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.
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.
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’.
Benefits & perks
Paid Sick Days
Promote From Within
Committed to a diverse team
100% remote working
Paid time off
Learning & Development
Health Insurance - US Employees
Healthcare Stipend - UK & Ireland Employees
No call Fridays
$81K - 125K
$81K - 125K
$81K - 125K
Ground Floor, Verse Building, 18 Brunswick Place, London, N1 6DZ
108 E 16th Street, New York, NY 10003
Join over 111,000 others and get access to exclusive content, job opportunities and more!