<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
<div dir="auto">Dear all,</div>
<div dir="auto"><br>
</div>
<div dir="auto">I have an opening for a postdoc in my group at the University of Birmingham:</div>
<div dir="auto"><br>
</div>
<div dir="auto"><a rel="noreferrer noopener" href="https://urldefense.com/v3/__https://www.jobs.ac.uk/job/DGW925/research-fellow-in-proof-theory-ii__;!!IBzWLUs!Sk8LsvLo4EEhYOKKs9yxLwsZGjaTki3XhiBP6FS-aHelhIoVKpHWE3eAp9svkqlmHcQSoVQk9_xb11G1Bw3VQBimw25DwI8$">https://www.jobs.ac.uk/job/DGW925/research-fellow-in-proof-theory-ii</a><br>
</div>
<div dir="auto"><br>
</div>
<div dir="auto">The University of Birmingham has a world leading group in theoretical computer science, covering proof theory, mathematical foundations, type theory, category theory and complexity theory. The group has been steadily growing and now includes
over 40 members (including permanents, postdocs, phd students):</div>
<div dir="auto"><br>
</div>
<div dir="auto"><a rel="noreferrer noopener" href="https://urldefense.com/v3/__https://www.birmingham.ac.uk/research/activity/computer-science/theory-of-computation__;!!IBzWLUs!Sk8LsvLo4EEhYOKKs9yxLwsZGjaTki3XhiBP6FS-aHelhIoVKpHWE3eAp9svkqlmHcQSoVQk9_xb11G1Bw3VQBimgFji8_I$">https://www.birmingham.ac.uk/research/activity/computer-science/theory-of-computation</a><br>
</div>
<div dir="auto"><br>
</div>
<div dir="auto">Candidates should have a background related to the themes of the group. Expertise in some/any of the following areas would be particularly helpful:</div>
<div dir="auto"><br>
</div>
<div dir="auto">* Proof Theory</div>
<div dir="auto">* Type Theory and Proof Assistants (e.g. Coq, Agda, Lean)</div>
<div dir="auto">* Mathematical Logic</div>
<div dir="auto">* Automata Theory</div>
<div dir="auto"><br>
</div>
<div dir="auto">Please contact me personally for any informal enquiries if you are interested in applying at <a.das@bham.ac.uk>.</div>
<div dir="auto"><br>
</div>
<div dir="auto">The deadline for applications is <b>30 April</b>. Further instructions are on the application page linked above.</div>
<div dir="auto"><br>
</div>
<div dir="auto">Kind regards,<br>
Anupam</div>
</body>
</html>