News and Events: Open Positions

Please note that this newsitem has been archived, and may contain outdated information or links.

Postdoctoral research fellowship in proof theory, Birmingham (England)

Deadline: Sunday 29 May 2022

The School of Computer Science at the University of Birmingham is seeking to appoint a Research Fellow (postdoc) in Proof Theory, to be employed until (at least) the end of April 2024. 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, programming languages, and structural proof 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.

Please note that this newsitem has been archived, and may contain outdated information or links.