Posted 9 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.
Benefits & perks
Paid Sick Days
Promote From Within
Committed to a diverse team
Paid time off
100% remote working
Learning & Development
Health Insurance - US Employees
Healthcare Stipend - UK & Ireland Employees
No call Fridays
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!