[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Closing Date: 09-10-2023 Salary: Lecturer - £38,205 to £44,263 per annum with USS benefits Senior Lecturer - £45,585 to £54,395 per annum with USS benefits Contract: Permanent, Full time Swansea University would be delighted to hear from interested parties who are pioneering new techniques and addressing new problems in applied formal methods, i.e., in applying mathematically grounded approaches such as static analysis, formal testing, model checking, runtime verification, or theorem proving (to name just a few established practices) to systems design to increase confidence in safety, security, or resilience of the software under consideration and to provide evidence that the software is won’t cause harm, is protected against attacks, is capable to recover. We are seeking candidates with experience in applying formal methods in commercial and industrial environments, namely, in adopting and scaling formal methods to real world problems in collaboration with domain experts. The focus of the post is to drive forward applied formal methods research addressing the question of how to rise formal methods to mature applicability in software development processes. For full details see: https://urldefense.com/v3/__https://www.swansea.ac.uk/jobs-at-swansea/current-vacancies/details/?nPostingID=135966&nPostingTargetID=168494&ID=QHUFK026203F3VBQB7VLO8NXD&lg=UK&mask=suext__;!!IBzWLUs!Scj-Gri7CiRU8jK6BZVIEXM6obEos6PXJa4fDE-oobBErhi190haxijLzXdCED8amUGoEO0tqe0XyEkws4xpPvv_e7g-qMHyT1zuaqn3uA$ For informal request you can contact m.roggenb...@swansea.ac.uk<mailto:m.roggenb...@swansea.ac.uk>.