[Proof Complexity] Postdoc in Proof Theory - University of Birmingham, UK

A.Das at bham.ac.uk A.Das at bham.ac.uk
Wed Dec 15 17:28:23 CET 2021

Dear colleagues,

I am looking to recruit a postdoc for my group at Birmingham (see
advert below). While the advert does not specify proof complexity per
se, I would be very happy to receive applications from excellent
candidates on the logical side of proof complexity, e.g. with expertise
on bounded arithmetic and/or structural proof theory. If you are
unsure, please do get in touch with me directly for an informal


Research Fellow in Proof Theory - University of Birmingham, UK.

The School of Computer Science at the University of Birmingham is
seeking to appoint a Research Fellow (postdoc) in Proof Theory, for a
duration of 2 years. The Theory group at the University of Birmingham
is one of the leading groups in logical foundations of computer
science, with expertise not only in Proof Theory but also related areas
such as Type Theory, Category Theory and Mathematical Logic:


This position is funded by a UKRI Future Leaders Fellowship "StrIP:
Structure vs Invariants in Proofs", led by Dr Anupam Das. The project
aims to develop the theory of 'cyclic proofs' and their connections to
automata theory. The principal responsibility of the fellow will be to
conduct research, both collaboratively with Dr Das and other
researchers at Birmingham, and independently. The fellow will also be
supported in career development and encouraged to pursue independent

Qualifications and expertise

You will have (or be close to completing) a PhD in Logic (computer
science, mathematics or philosophy), or equivalent qualifications. You
will have an excellent research record, with expertise in some of the
following areas:

* Proof theory (in particular, deep inference or cyclic proofs).
* Automata theory (in particular, infinite word and tree automata).
* Mathematical logic (in particular, fragments of arithmetic or set


Informal inquiries prior to application are encouraged and should be
directed to Dr Anupam Das <a.das at bham.ac.uk>. You may find further
details on the position and instructions for applying here:


Practical information

Starting salary range: £31,406 - £40,927 (potentially progressing to
Application deadline: 9 January 2022.
Starting date: flexible, ideally before May 2022.
Duration: 2 years.

More information about the Proof-Complexity mailing list