PhD opportunities at the University of Birmingham
Paul Levy <[email protected]> Sun, 24 Nov 2024 23:15:27 +0000
| Newsgroups | gmane.science.mathematics.fom,gmane.comp.science.types.announce,gmane.science.mathematics.prooftheory |
|---|---|
| Message-ID | <CWXP265MB4058262311CD694B1646929FF42D2@CWXP265MB4058.GBRP265.PROD.OUTLOOK.COM> |
--_000_CWXP265MB4058262311CD694B1646929FF42D2CWXP265MB4058GBRP_
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: quoted-printable
* Imminent funding deadline (5 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
--_000_CWXP265MB4058262311CD694B1646929FF42D2CWXP265MB4058GBRP_
Content-Type: text/html; charset="us-ascii"
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=3Dus-ascii"=
>
<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:Aptos;
panose-1:2 11 0 4 2 2 2 2 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.apple-converted-space
{mso-style-name:apple-converted-space;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:10.0pt;
mso-ligatures:none;}
@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">
<div id=3D"mail-editor-reference-message-container">
<div>
<div>
<div>
<p class=3D"p1">* Imminent funding deadline (5 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"><a href=3D"https://www.birmingham.ac.uk/research/activity/c=
omputer-science/theory-of-computation/index.aspx">https://www.birmingham.ac=
.uk/research/activity/computer-science/theory-of-computation/index.aspx</a>=
<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"><a href=3D"https://www.birmingham.ac.uk/schools/computer-sc=
ience/postgraduate-research/applying-for-phd-in-computer-science.aspx">http=
s://www.birmingham.ac.uk/schools/computer-science/postgraduate-research/app=
lying-for-phd-in-computer-science.aspx</a><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<o:p></o:p></p>
<p class=3D"p1"><o:p> </o:p></p>
<p class=3D"p1"><o:p> </o:p></p>
</div>
</div>
</div>
</div>
</div>
</body>
</html>
--_000_CWXP265MB4058262311CD694B1646929FF42D2CWXP265MB4058GBRP_--