Himalayas logo
IOHKIO

Formal Methods Engineer - IOE: Cardano

Founded in 2015 by Charles Hoskinson and Jeremy Wood, IOHK is one of the world's pre-eminent blockchain infrastructure research and engineering companies.

IOHK

Employee count: 201-500

United Kingdom only

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 decentralized finance (DeFi), governance, and identity management, aiming to advance the capabilities and adoption of blockchain 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 Formal Methods Engineer at IOE you will develop formal artifacts as early as possible in the development process; artifacts that grow with a project and continue to provide impact throughout its lifecycle. You will develop and iteratively refine specifications, including developing suitable properties and proofs to assure the production of high quality designs and prototypes. Your work will form part of the day-to-day quality assurance of production system development. In some projects, critical steps will be tested against formal models, or 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 developers and to the project management.

You will participate in knowledge sharing and continuous learning through interactions with Formal Methods Engineers across the company and more broadly with researchers and engineers as well.

  • Build formal artifacts from R&D and architectural guidance, and business and engineering requirements.
  • 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
  • Discover new properties about the specifications and their implications
  • Prove properties of the specifications and of the correctness of refinement steps
  • Communicate with both product, R&D, and developers, and act as a bridge between them: you will provide feedback to product and R&D about issues that come up when their work is incorporated into real world systems. You will 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, as well as at 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
  • Contribute to the implementation, extension, and maintenance of custom formal analysis tooling
  • 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

Who you are:

  • A higher degree in Computer Science or a related field
  • A minimum of 2-3 years of experience in a functional language, preferably Haskell
  • Experience working and collaborating with Git
  • Experience with one or more formal methods
  • Experience in one or more of the domains we are working in -- networking, consensus, distributed systems, programming language design, blockchain applications -- would be a bonus.
  • Demonstrated ability to work on difficult problems in a self-driven way
  • Deep thinking, problem solving
  • Ability to understand and translate complex ideas and break them down simply for yourself and others
  • General Software engineering skills, and an understanding of Software Engineering processes: requirements capture, specification, testing, verification, validation.
  • Apply research concepts in an engineering setting.
  • Translate and reshape information for the software engineers to understand properly
  • Telling researchers and developers when there is a discrepancy - presenting formal concepts in context.
  • Be able to receive input from researchers about formal models, thoroughly understand and translate that information and its impact on the production code.
  • Continuously brings fresh ideas to the mix
  • Be versatile and enjoy a fast-paced, ever-changing environment
  • Ability to explain complex concepts in documents and presentations for a technical but not specialist audience.

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.

About the job

Apply before

Posted on

Job type

Full Time

Experience level

Mid-level
Senior

Location requirements

Hiring timezones

United Kingdom +/- 0 hours

About IOHK

Learn more about IOHK and their company culture.

View company profile

Founded in 2015 by Charles Hoskinson and Jeremy Wood, IOHK is one of the world's pre-eminent blockchain infrastructure research and engineering companies. We are a fully decentralised remote working organisation committed to the highest principles of academic rigour and evidence-based software development. The company builds high-assurance blockchain infrastructure solutions for public, private sector and government clients. It is also the driving force behind the decentralised and smart contract platform, Cardano.

Cascading disruption

It is the founding principle of IOHK. Cascading disruption is the idea that most of the structures that form the world’s financial, governance and social systems are inherently unstable and thus minor perturbations can cause a ripple effect that fundamentally reconfigures the entire system. Our company is committed to identifying and developing technology to force these perturbations in order to push towards a more fair and transparent order.

The mission of IOHK

We view the world as a series of giant and mostly interconnected social graphs with hundreds of complex systems embedded. Our mission is to perturb the graphs to a more connected, transparent and fair configuration for both the flow of ideas and value.

Input Output the company

IOHK is a truly global organisation with a remote team of 400+ people across 50+ countries. We have a rich culture with people from all over the world offering different skillsets, different cultural perspectives and at different life stages.

Employee benefits

Learn about the employee benefits and perks provided at IOHK.

View benefits

Flexible work schedule

As a global, distributed company, colleagues can work to a flexible schedule.

Laptop reimbursement

All colleagues are eligible to have a laptop purchase reimbursed up to $2,000.

Generous vacation

All of our full-time employees and service providers receive a minimum of 4 weeks PTO a year.

Professional development

IO Global offers specialised learning platforms & extensive internal content for continued learning, up-skilling, and development.

View IOHK's employee benefits
IOHK logoIO

IOHK

Company size

201-500 employees

Founded in

2015

Chief executive officer

Charles Hoskinson

Employees live in

View company profile

Similar remote jobs

Here are other jobs you might want to apply for.

View all remote jobs

43 remote jobs at IOHK

Explore the variety of open remote roles at IOHK, offering flexible work options across multiple disciplines and skill levels.

View all jobs at IOHK

Remote companies like IOHK

Find your next opportunity by exploring profiles of companies that are similar to IOHK. Compare culture, benefits, and job openings on Himalayas.

View all companies

Find your dream job

Sign up now and join over 100,000 remote workers who receive personalized job alerts, curated job matches, and more for free!

Sign up
Himalayas profile for an example user named Frankie Sullivan
IOHK hiring Formal Methods Engineer - IOE: Cardano • Remote (Work from Home) | Himalayas