[TYPES/announce] Position: technical lead for certification, IO

[Simon Thompson]

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



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20211021/b4a83063/attachment.htm>