[TYPES/announce] Permanent Position S/SL in Applied Formal Methods at Swansea University

[Markus Roggenbach]

Dear friends and colleagues,

There is a permanent position as a Lecturer/Senior Lecturer in Applied Formal methods at Swansea University:

https://urldefense.com/v3/__https://www.swansea.ac.uk/jobs-at-swansea/current-vacancies/details/?nPostingID=135966&nPostingTargetID=164854&ID=QHUFK026203F3VBQB7VLO8NXD&lg=UK&mask=suext__;!!IBzWLUs!WQrz_a5Qgqa8lue4SVpOxSlUAi6RVg2hoojDpwXrs2MZUmp4x8E7jgvBihm17TdwmpsEbl4cYw_F0BGTDCdt7l-zvC-6Dt6hUxX-Ejx0jw$ 

Closing Date 14-06-2023

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.

We are open to a variety of specialisms within the broad field of Formal Methods, especially those that resonate with or complement the research expertise in the Department. We are particularly seeking applications from candidates with expertise in applied/experimental aspects. Current Swansea research in applied formal methods covers a wide spectrum of domains such as system security, blockchain, protocol verification, system safety, HCI, explainable AI, to name just a few.

In case of any questions, feel free to contact me under  M.Roggenbach at swansea.ac.uk<mailto:M.Roggenbach at swansea.ac.uk>

All the best,
  Markus



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