[ 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
[email protected]<mailto:[email protected]>.
