<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
font-size:11.0pt;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#0563C1;
text-decoration:underline;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Calibri",sans-serif;
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:72.0pt 72.0pt 72.0pt 72.0pt;}
div.WordSection1
{page:WordSection1;}
--></style>
</head>
<body lang="EN-GB" link="#0563C1" vlink="#954F72" style="word-wrap:break-word">
<div class="WordSection1">
<p class="MsoNormal">Dear friends and colleagues,<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">There is a permanent position as a Lecturer/Senior Lecturer in Applied Formal methods at Swansea University:<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><a href="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$">https://www.swansea.ac.uk/jobs-at-swansea/current-vacancies/details/?nPostingID=135966&nPostingTargetID=164854&ID=QHUFK026203F3VBQB7VLO8NXD&lg=UK&mask=suext</a><o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Closing Date 14-06-2023<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">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.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">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.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">In case of any questions, feel free to contact me under <a href="mailto:M.Roggenbach@swansea.ac.uk">M.Roggenbach@swansea.ac.uk</a><o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">All the best,<o:p></o:p></p>
<p class="MsoNormal"> Markus<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
</div>
</body>
</html>