<html>

<head>

<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">

<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>

</head>

<body dir="ltr">

<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">

Dear all</div>

<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">

<br>

</div>

<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof ContentPasted0">

I am looking to recruit two PhD students to work on topics related to compiler testing, verifier testing, and mutation testing.

<div><br class="ContentPasted0">

</div>

<div class="ContentPasted0">The studentships are fully funded for students eligible for "home" fees (i.e. British citizens, or candidates who have been resident in the UK for a sufficient period of time).</div>

<div><br class="ContentPasted0">

</div>

<div class="ContentPasted0">The studentships are available for an October 2023 start, but an April 2024 or October 2024 start is also possible.</div>

<div><br class="ContentPasted0">

</div>

<div class="ContentPasted0">Please see here for more details:</div>

<div><br class="ContentPasted0">

</div>

<div class="ContentPasted0"><a href="https://urldefense.com/v3/__https://www.doc.ic.ac.uk/*afd/PhDAdvert2023.pdf__;fg!!IBzWLUs!Uf2AISKb7zJrvr-LRxlsnGi0fkUGWHn7TotSAh9G1-HbUF2PmJNcyj2qBOX43uGD43cVOxSPCBu6O8QvcQQ-Vn-k9VQbenv8e43XIMpTzosGWEI$" id="LPlnk274935">https://www.doc.ic.ac.uk/~afd/PhDAdvert2023.pdf</a> </div>

<div><br class="ContentPasted0">

</div>

<div class="ContentPasted0">I would be grateful if you could help spread the word about these opportunities, and do get in touch with me if you are interested and would like to discuss them.</div>

<div><br class="ContentPasted0">

</div>

<div class="ContentPasted0">Thanks!</div>

<div><br class="ContentPasted0">

</div>

<div class="ContentPasted0">Ally Donaldson</div>

<br>

</div>

</body>

</html>