[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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).
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.
https://urldefense.com/v3/__https://apply.workable.com/io-global/j/BA6A22CB79/__;!!IBzWLUs!FpFkfWZ8EXCk8IJr1j-eFC7Fps403H9nrKIGEAzF9y2H6naNUHmt8rTQQpudpDEXtPFguO8lP6F1zw$
<https://urldefense.com/v3/__https://apply.workable.com/io-global/j/BA6A22CB79/__;!!IBzWLUs!FpFkfWZ8EXCk8IJr1j-eFC7Fps403H9nrKIGEAzF9y2H6naNUHmt8rTQQpudpDEXtPFguO8lP6F1zw$
>
Simon Thompson
Technical Director, dApp Platform
IO
