[TYPES/announce] Postdoc in Proof Theory - University of Birmingham, UK

A.Das at bham.ac.uk A.Das at bham.ac.uk
Wed Dec 15 11:31:06 EST 2021


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:

<https://urldefense.com/v3/__https://www.cs.bham.ac.uk/research/groupings/theory/__;!!IBzWLUs!EjprdbmIk0aEhyKKPgPHkzDcSlS726NlkpjbTEQEGb3gltA40WrGYUL2uPdN0v2Pg2pV9kd5f670Bg$ >

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


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


Application

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:

<https://urldefense.com/v3/__https://www.jobs.ac.uk/job/CLO630/research-fellow-in-proof-theory__;!!IBzWLUs!EjprdbmIk0aEhyKKPgPHkzDcSlS726NlkpjbTEQEGb3gltA40WrGYUL2uPdN0v2Pg2pV9kcTqL8hlQ$ >


Practical information

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



More information about the Types-announce mailing list