Formal Methods Engineer - Innovation R&D

January 21

Apply Now

Receive Emails with Similar Jobs

Input Output (IOHK)

WebsiteLinkedInAll Job Openings

Input Output (IOHK) is a technology company focused on research and development in the field of blockchain and cryptocurrencies. It is known for its key role in developing the Cardano blockchain platform, which aims to offer a more secure and scalable environment for digital transactions and smart contracts. IOHK places a strong emphasis on academic research and peer-reviewed development methods, contributing to its reputation in the blockchain space.

Blockchain • Cyrptocurrency • Research • Development • Consultancy

201 - 500 employees

Founded 2015

₿ Crypto

🌐 Web 3

📋 Description

• 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. • What the role involves: • As a Formal Methods Engineer at IO you act as a bridge between product, research, architecture, and development. • You will develop formal artifacts as early as possible in the development process that grow with the project and continue to provide impact throughout into the late stages. • You will develop and iteratively refine specifications, working towards high quality designs, prototypes and practical implementations. • Your work will form part of the day-to-day quality assurance of production system development. • In some projects, critical steps will be tested, 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 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. • As a member of the Formal Methods Chapter 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.

🎯 Requirements

• 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, 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 • Software engineering skills • Bridge between research and engineers • Translate and reshape information for the software engineers to understand properly • Telling researchers when there is a discrepancy - feedback to research • Be able to receive input from researchers, thoroughly understand and translate information into final code • Continuously brings fresh ideas to the mix • Be versatile and enjoy a fast-paced, ever-changing environment • Be a savvy problem solver • Ability to explain complex concepts in documents and presentations

🏖️ Benefits

• Remote work • Laptop reimbursement • New starter package to buy hardware essentials (headphones, monitor, etc) • Learning & Development opportunities • Competitive PTO