For companies

Senior Formal Methods Engineer - XSY

Apply

About the role

Who are we? IOHK, 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. About XSY: IOG's XSY Tribe is a pioneering liquidity accelerator building a revolutionary Liquidity Operating System (LiquidityOS) that merges traditional finance and decentralized technologies and removes friction while facilitating and accelerating global economic exchange. XSYs role is to act as a catalyst in emerging blockchain financial ecosystems, unlocking the ecosystems financial potential. Our success is measured by our ability to accelerate an ecosystem's monetary velocity. What the role involves: As a Senior Formal Methods Engineer in XSY you act as a bridge between product,  research, architecture, and development. You will develop formal artifacts as early as possible…

Read more

Input Output (IOHK) is open for

  • People for
    Software Engineering
  • And have following skills
    Haskell or Research
  • We are looking to fill a
    Full-time position
  • For talents with seniority
    Senior
  • With a capacity of
    40 hours per week
  • And we are happy to pay
    Get the app to see

The story

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.
There are

201 – 500

employees in the company

10M to 50M

Company annual revenue

Offices

Founded in 2015, IO Global is one of the world’s pre-eminent block-chain research and engineering companies, with its headquarter in Singapore.
  • Singapore flagSingapore
    Extra vacations
    Flexible hours
    Remote work
    Health insurance
    Team events
Office imageOffice imageOffice image

Markets

IOHK is a truly global organisation with a remote team of 400+ people across 50+ countries.

Input Output (IOHK) is open for

  • People for
    Software Engineering
  • And have following skills
    Haskell or Research
  • We are looking to fill a
    Full-time position
  • For talents with seniority
    Senior
  • With a capacity of
    40 hours per week
  • And we are happy to pay
    Get the app to see