<html 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=Windows-1252">
<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;}
@font-face
{font-family:"Helvetica Neue";
panose-1:2 0 5 3 0 0 0 2 0 4;}
/* Style Definitions */
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#0563C1;
text-decoration:underline;}
p.p1, li.p1, div.p1
{mso-style-name:p1;
margin:0cm;
font-size:10.0pt;
font-family:"Helvetica Neue";}
span.s1
{mso-style-name:s1;
text-decoration:underline;}
span.apple-converted-space
{mso-style-name:apple-converted-space;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:10.0pt;
font-family:"Calibri",sans-serif;
mso-ligatures:none;
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="p1">* Imminent funding deadline (1 December) - please contact us immediately if you are interested. *<o:p></o:p></p>
<p class="p1"> <o:p></o:p></p>
<p class="p1">Dear all,<o:p></o:p></p>
<p class="p1"> <o:p></o:p></p>
<p class="p1">We invite applications for PhD study at the University of Birmingham. <span class="apple-converted-space"> </span><o:p></o:p></p>
<p class="p1"> <o:p></o:p></p>
<p class="p1">We are a group of (mostly) theoretical computer scientists who explore fundamental concepts in computation. Our work includes category theory, computational complexity, programming language semantics, proof theory, type theory, verification and
much else besides.<span class="apple-converted-space"> </span><o:p></o:p></p>
<p class="p1"> <o:p></o:p></p>
<p class="p1">See our webpage, with links to individual researchers, here:<o:p></o:p></p>
<p class="p1"><span class="s1"><a href="https://urldefense.com/v3/__https://www.birmingham.ac.uk/research/activity/computer-science/theory-of-computation/index.aspx__;!!IBzWLUs!XkepSBEe3rXCsTWTxpLLs93YmHiE8xEWHN7reYwqDXImXMZ7vO7FbBRHbgepXpCXzj8mqUI0H598WEbrH7XN8K2nPQ5vwj_fgcw$">https://www.birmingham.ac.uk/research/activity/computer-science/theory-of-computation/index.aspx</a></span><o:p></o:p></p>
<p class="p1"> <o:p></o:p></p>
<p class="p1">Information about PhD applications may be found here:<o:p></o:p></p>
<p class="p1"><span class="s1"><a href="https://urldefense.com/v3/__https://www.birmingham.ac.uk/schools/computer-science/postgraduate-research/applying-for-phd-in-computer-science.aspx__;!!IBzWLUs!XkepSBEe3rXCsTWTxpLLs93YmHiE8xEWHN7reYwqDXImXMZ7vO7FbBRHbgepXpCXzj8mqUI0H598WEbrH7XN8K2nPQ5vcwwXZYA$">https://www.birmingham.ac.uk/schools/computer-science/postgraduate-research/applying-for-phd-in-computer-science.aspx</a></span><o:p></o:p></p>
<p class="p1"> <o:p></o:p></p>
<p class="p1">If you are considering applying, please contact any of us. We will be very happy to discuss the opportunities available.<o:p></o:p></p>
<p class="p1"> <o:p></o:p></p>
<p class="p1">Best regards,<o:p></o:p></p>
<p class="p1">The Birmingham CS theory group, including:-<o:p></o:p></p>
<p class="p1">Benedikt Ahrens<o:p></o:p></p>
<p class="p1">Rajesh Chitnis<o:p></o:p></p>
<p class="p1">Anupam Das<o:p></o:p></p>
<p class="p1">Martín Escardó<o:p></o:p></p>
<p class="p1">Eric Finster<o:p></o:p></p>
<p class="p1">Dan Ghica<o:p></o:p></p>
<p class="p1">Mirco Giacobbe<o:p></o:p></p>
<p class="p1">Paul Levy<o:p></o:p></p>
<p class="p1">Sonia Marin<o:p></o:p></p>
<p class="p1">Sean Moss<o:p></o:p></p>
<p class="p1">Jakub Opral<o:p></o:p></p>
<p class="p1">Vincent Rahli<o:p></o:p></p>
<p class="p1">Uday Reddy<o:p></o:p></p>
<p class="p1">Eike Ritter</p>
</div>
</body>
</html>