Logic List Mailing Archive

CfA: 2y Postdoc in Proof Theory, Birmingham (UK), deadline: 30 April 2024

Dear all,

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

https://www.jobs.ac.uk/job/DGW925/research-fellow-in-proof-theory-ii

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://www.birmingham.ac.uk/research/activity/computer-science/theory-of-computation

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@bham.ac.uk<mailto:a.das@bham.ac.uk>>.

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

Kind regards,
Anupam
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php