[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
[email protected]<mailto:[email protected]>
All the best,
Markus
