PhD opportunities at the University of Birmingham
Paul Levy <[email protected]> Tue, 7 Nov 2023 10:51:54 +0000
| Newsgroups | gmane.science.mathematics.fom,gmane.comp.science.types.announce,gmane.science.mathematics.prooftheory |
|---|---|
| Message-ID | <CWXP265MB4058A55422F838B0F0984B38F4A9A@CWXP265MB4058.GBRP265.PROD.OUTLOOK.COM> |
--_000_CWXP265MB4058A55422F838B0F0984B38F4A9ACWXP265MB4058GBRP_
Content-Type: text/plain; charset="Windows-1252"
Content-Transfer-Encoding: quoted-printable
* Imminent funding deadline (1 December) - please contact us immediately if=
you are interested. *
Dear all,
We invite applications for PhD study at the University of Birmingham.
We are a group of (mostly) theoretical computer scientists who explore fund=
amental concepts in computation. Our work includes category theory, computa=
tional complexity, programming language semantics, proof theory, type theor=
y, verification and much else besides.
See our webpage, with links to individual researchers, here:
https://www.birmingham.ac.uk/research/activity/computer-science/theory-of-c=
omputation/index.aspx
Information about PhD applications may be found here:
https://www.birmingham.ac.uk/schools/computer-science/postgraduate-research=
/applying-for-phd-in-computer-science.aspx
If you are considering applying, please contact any of us. We will be very =
happy to discuss the opportunities available.
Best regards,
The Birmingham CS theory group, including:-
Benedikt Ahrens
Rajesh Chitnis
Anupam Das
Mart=EDn Escard=F3
Eric Finster
Dan Ghica
Mirco Giacobbe
Paul Levy
Sonia Marin
Sean Moss
Jakub Opr=9Aal
Vincent Rahli
Uday Reddy
Eike Ritter
--_000_CWXP265MB4058A55422F838B0F0984B38F4A9ACWXP265MB4058GBRP_
Content-Type: text/html; charset="Windows-1252"
Content-Transfer-Encoding: quoted-printable
<html xmlns:o=3D"urn:schemas-microsoft-com:office:office" xmlns:w=3D"urn:sc=
hemas-microsoft-com:office:word" xmlns:m=3D"http://schemas.microsoft.com/of=
fice/2004/12/omml" xmlns=3D"http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv=3D"Content-Type" content=3D"text/html; charset=3DWindows-1=
252">
<meta name=3D"Generator" content=3D"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=3D"EN-GB" link=3D"#0563C1" vlink=3D"#954F72" style=3D"word-wrap:=
break-word">
<div class=3D"WordSection1">
<p class=3D"p1">* Imminent funding deadline (1 December) - please contact u=
s immediately if you are interested. *<o:p></o:p></p>
<p class=3D"p1"> <o:p></o:p></p>
<p class=3D"p1">Dear all,<o:p></o:p></p>
<p class=3D"p1"> <o:p></o:p></p>
<p class=3D"p1">We invite applications for PhD study at the University of B=
irmingham. <span class=3D"apple-converted-space"> </span><o:p></o=
:p></p>
<p class=3D"p1"> <o:p></o:p></p>
<p class=3D"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 th=
eory, type theory, verification and
much else besides.<span class=3D"apple-converted-space"> </span><o:p>=
</o:p></p>
<p class=3D"p1"> <o:p></o:p></p>
<p class=3D"p1">See our webpage, with links to individual researchers, here=
:<o:p></o:p></p>
<p class=3D"p1"><span class=3D"s1"><a href=3D"https://www.birmingham.ac.uk/=
research/activity/computer-science/theory-of-computation/index.aspx">https:=
//www.birmingham.ac.uk/research/activity/computer-science/theory-of-computa=
tion/index.aspx</a></span><o:p></o:p></p>
<p class=3D"p1"> <o:p></o:p></p>
<p class=3D"p1">Information about PhD applications may be found here:<o:p><=
/o:p></p>
<p class=3D"p1"><span class=3D"s1"><a href=3D"https://www.birmingham.ac.uk/=
schools/computer-science/postgraduate-research/applying-for-phd-in-computer=
-science.aspx">https://www.birmingham.ac.uk/schools/computer-science/postgr=
aduate-research/applying-for-phd-in-computer-science.aspx</a></span><o:p></=
o:p></p>
<p class=3D"p1"> <o:p></o:p></p>
<p class=3D"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=3D"p1"> <o:p></o:p></p>
<p class=3D"p1">Best regards,<o:p></o:p></p>
<p class=3D"p1">The Birmingham CS theory group, including:-<o:p></o:p></p>
<p class=3D"p1">Benedikt Ahrens<o:p></o:p></p>
<p class=3D"p1">Rajesh Chitnis<o:p></o:p></p>
<p class=3D"p1">Anupam Das<o:p></o:p></p>
<p class=3D"p1">Mart=EDn Escard=F3<o:p></o:p></p>
<p class=3D"p1">Eric Finster<o:p></o:p></p>
<p class=3D"p1">Dan Ghica<o:p></o:p></p>
<p class=3D"p1">Mirco Giacobbe<o:p></o:p></p>
<p class=3D"p1">Paul Levy<o:p></o:p></p>
<p class=3D"p1">Sonia Marin<o:p></o:p></p>
<p class=3D"p1">Sean Moss<o:p></o:p></p>
<p class=3D"p1">Jakub Opr=9Aal<o:p></o:p></p>
<p class=3D"p1">Vincent Rahli<o:p></o:p></p>
<p class=3D"p1">Uday Reddy<o:p></o:p></p>
<p class=3D"p1">Eike Ritter</p>
</div>
</body>
</html>
--_000_CWXP265MB4058A55422F838B0F0984B38F4A9ACWXP265MB4058GBRP_--