Technical Lead for Certification (dApp store)

---

Job description

IO Global is building an online store for distributed applications (dApps) on Cardano. The dApp store will give users the ability to download, evaluate, and review applications that have been built by the developer community. To give users and developers maximum assurance about the behaviour of dApps, the store will also certify dApp behaviour at three levels: automated testing (level 1), audit (level 2), and program verification (level 3).

About the role:

As Technical Lead for Certification, you will be responsible for delivery of all technical aspects of certification, initially by taking oversight of external providers, but in due course potentially also leading an internal engineering team. Working with the dApp store team, the product team, and UI/UX designers and researchers, you will devise and maintain a design, implementation, and delivery strategy for certification.

Candidates will have an outstanding and sustained record of tech 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 development of certification of dApps as a component of the Cardano dApp store
• Technical oversight of external teams delivering implementations of components of the dApp store
• Liaison with external partners on the provision and certification of audits for Cardano dApps
• Potentially, leadership of an IOG engineering team delivering architecture, design, implementation, and maintenance of the dApp store
• Visibility with other IOG teams and external advocacy for certification as it is included in the Cardano dApp store
  

Requirements:-All Colleagues:

• Screening call
• TechTestor Task
• 2 x Interview rounds
• HR call
• Offer

Blockchain, Haskell, CBlockchain, Haskell