
<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);">

<span style="margin:0px;font-size:12pt;color:black;background-color:rgb(255, 255, 255)"><br>

</span></div>

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

<span style="margin:0px;font-size:12pt;color:black;background-color:rgb(255, 255, 255)">Dear Colleagues,</span>

<div style="margin:0px;font-size:12pt;color:black;background-color:rgb(255, 255, 255)">

<br>

</div>

<div style="margin:0px;font-size:12pt;color:black;background-color:rgb(255, 255, 255)">

Please see below for new PhD positions</div>

<div style="margin:0px;font-size:12pt;color:black;background-color:rgb(255, 255, 255)">

<br>

</div>

<div style="margin:0px;font-size:12pt;color:black;background-color:rgb(255, 255, 255)">

<a href="https://le.ac.uk/study/research-degrees/funded-opportunities/informatics-gta-2021" target="_blank" rel="noopener noreferrer" data-auth="NotApplicable" data-linkindex="7" style="margin:0px;background-color:white;outline:currentcolor none 0px">https://le.ac.uk/study/research-degrees/funded-opportunities/informatics-gta-2021</a><br>

</div>

<div style="margin:0px;font-size:12pt;color:black;background-color:rgb(255, 255, 255)">

<br>

</div>

<div style="margin:0px;font-size:12pt;color:black;background-color:rgb(255, 255, 255)">

As a GTA (Graduate Teaching Assistant) you will have a PhD Supervisor, a four year period to complete your PhD, and you will assist with teaching and learning during term time. </div>

<div style="margin:0px;font-size:12pt;color:black;background-color:rgb(255, 255, 255)">

<br>

</div>

<div style="margin:0px;font-size:12pt;color:black;background-color:rgb(255, 255, 255)">

Staff whose research areas fit most closely with the Types List are Roy Crole (programming types and semantics), Reiko Heckel (graph transformation, and semantics) and Irek Ulidowski (types, concurrency and reversible computation): </div>

<div style="margin:0px;font-size:12pt;color:black;background-color:rgb(255, 255, 255)">

<br>

</div>

<a href="https://www.cs.le.ac.uk/people/rcrole/" id="LPlnk">https://www.cs.le.ac.uk/people/rcrole/</a></div>

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

<br>

</div>

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

<a href="https://www.cs.le.ac.uk/people/rh122/" id="LPlnk549293">https://www.cs.le.ac.uk/people/rh122/</a></div>

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

<br>

</div>

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

<a href="https://www.cs.le.ac.uk/people/iu3/" style="margin:0px">https://www.cs.le.ac.uk/people/iu3/</a></div>

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

<br>

</div>

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

Leicester has been actively involved in the Midlands Graduate School over many years: <a href="http://www.cs.nott.ac.uk/MGS/" id="LPlnk">http://www.cs.nott.ac.uk/MGS/</a><br>

<div class="_Entity _EType_OWALinkPreview _EId_OWALinkPreview _EReadonly_1"></div>

<br>

<br>

</div>

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

<div style="margin:0px;font-size:12pt;color:black;background-color:rgb(255, 255, 255)">

Kind regards,</div>

<div style="margin:0px;font-size:12pt;color:black;background-color:rgb(255, 255, 255)">

<br>

</div>

<span style="margin:0px;font-size:12pt;color:black;background-color:rgb(255, 255, 255)">Roy Crole. </span><br>

</div>

</body>

</html>