Compensation

Competitive

Remote within

Timezones

GMT (-5/+4 hours)

Contract type

Full time

Remote working

Technologies & frameworks

Scala
Haskell
Functional Programming
Rust
Research
formal verification

Benefits & perks

Remote working
Paid sick days
Paid time off
100% remote working
Health insurance - us employees
Healthcare stipend - uk & ireland employees
Learning & development
No call fridays
Pension
Promote from within
Committed to a diverse team
Performance bonus

Looking for an excellent background in verification technologies, such as machine-supported proof, SMT solving

Role overview

We are looking for someone with an excellent background in verification technologies, such as machine-supported proof, SMT solving, and testing, to lead IO’s effort to provide DApp users with assurance about DApp properties and behavior through its certification program.

IO is building an online store for distributed applications (DApps) on Cardano: (“the dAppStore”). It will be the one-stop-shop for distributed applications on Cardano, providing not only inclusivity across the ecosystem but also assurance about how particular DApps behave. The store will give Cardano users the ability to download, evaluate and review distributed applications that developers have built across the Cardano community.

As tech lead for certification, you will be responsible for delivery of all technical aspects of certification, initially through taking oversight of external providers and, in due course, potentially leading an internal IO engineering team. Working with the dAppStore team, the product team, and UI/UX designers and researchers, you will devise and maintain a design, implementation, and delivery strategy for certification.

To be considered as a candidate, you will have an outstanding and sustained record of technology delivery or research with particular experience in the technologies used in certification: automated and property-based testing, model checking, and verification.

Your mission

Delivery of an engineering strategy for the ongoing development of certification of DApps, as a component of the Cardano dAppStore
Technical oversight of external teams delivering implementations of components of the dAppStore
Liaison with external partners on the provision and certification of audits for Cardano DApps
Potentially, leadership of an IOHK engineering team delivering architecture, design, implementation, and maintenance of certification both within the dAppStore and stand-alone
Visibility with other IOHK teams and externally to act as an advocate for certification as it is included in the Cardano dAppStore.

Requirements

Your expertise

At least five years of experience in the field of guaranteeing assurance for software through automated testing, automated decision procedures, formal verification, or other related approaches
It would be an advantage if you were to have some team leadership experience.

Nice-to-haves

Knowledge of blockchain
Functional programming, particularly as applied in the web domain.

Benefits

Location

IOG is a fully distributed organization and therefore this is a remote position. Due to team distribution we are ideally searching for someone in time zones from UTC+2 to UTC-5 for this role.

All Colleagues

Flexible schedule
Remote work - ability to work anywhere
Laptop reimbursement
New starter package to buy hardware essentials (headphones, monitor, etc)
Learning & Development opportunities
Competitive PTO and Sick Leave plan

US Employees

Medical, Dental, and Vision benefits coverage through Anthem with 100% premium cost covered by IO Global for the employee and dependents
Health Savings Account
Life Insurance

UK Employees

Monthly Health Stipend to use towards any wellness or medical coverage/service
Pension

IOHK

250+
Singapore

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 300 people working in more than 50 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’.