[TYPES/announce] Postdoc in proof theory - University of Birmingham, 2 years - deadline 30 April

[Anupam das]

Dear all,

I have an opening for a postdoc in my group at the University of Birmingham:

https://urldefense.com/v3/__https://www.jobs.ac.uk/job/DGW925/research-fellow-in-proof-theory-ii__;!!IBzWLUs!Sk8LsvLo4EEhYOKKs9yxLwsZGjaTki3XhiBP6FS-aHelhIoVKpHWE3eAp9svkqlmHcQSoVQk9_xb11G1Bw3VQBimw25DwI8$ 

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):

https://urldefense.com/v3/__https://www.birmingham.ac.uk/research/activity/computer-science/theory-of-computation__;!!IBzWLUs!Sk8LsvLo4EEhYOKKs9yxLwsZGjaTki3XhiBP6FS-aHelhIoVKpHWE3eAp9svkqlmHcQSoVQk9_xb11G1Bw3VQBimgFji8_I$ 

Candidates should have a background related to the themes of the group. Expertise in some/any of the following areas would be particularly helpful:

* Proof Theory
* Type Theory and Proof Assistants (e.g. Coq, Agda, Lean)
* Mathematical Logic
* Automata Theory

Please contact me personally for any informal enquiries if you are interested in applying at <a.das at bham.ac.uk>.

The deadline for applications is 30 April​. Further instructions are on the application page linked above.

Kind regards,
Anupam
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20240408/11eb83ee/attachment.htm>