Permanent Post [L/SL] in Applied Formal Methods at Swansea University

At Swansea we are looking for a new enthusiastic colleague in Applied Formal Methods. Maybe you know any researchers who would be interested to apply?

Closing Date: 09-10-2023

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 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.

In Swansea, we have a very active Railway Verification Group with an excellent, long-standing collaboration with Siemens Mobility, which the successful candidate could join. The department boasts one of the UK’s largest groups in logic and theoretical computer science. Furthermore, there is a newly founded, active group on cyber-security. Overall, the department offers a vibrant research environment, also with experts in AI, HCI, Robotics, and Visual Computing.


With kind regards,

Dr Monika Seisenberger
Deputy Head of Computer Science
Swansea University