2y Postdoc in Proof Theory, Birmingham (UK)

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

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, and/or Automata Theory.