Research Fellow in Pure Mathematics

Do you have an established background in proof theory, the metamathematics of set theory, or computabilty theory?

Do you want to further your career at one of the UK’s leading research-intensive universities?

We are looking for a Research Fellow to join our Templeton Foundation project, A new dawn of intuitionism, which seeks to address contemporary foundational concerns from the intuitionistic point of view. The project’s broad goals are to advance the proof theory of intuitionistic theories; to determine the proof-theoretic strength of some of the most expressive intuitionistic type and set theories; and to describe computational models of intuitionistic logic and theories.You will contribute to the project by carrying out original research, preparing research papers for publication in international journals and conference proceedings, and giving research seminars and conference talks. You will have a PhD in Mathematics, Computer Science, or a closely allied discipline, alongside experience in at least one of the following areas: proof theory, computabilty theory, reverse mathematics or type theory. You will also have the ability to conduct independent research, supported by a developing track record of publications in leading peer-reviewed journals. In addition, you will have excellent communication, planning, and team working skills.

To explore the post further or for any queries you may have, please contact: 

Dr Paul Shafer, Lecturer in Mathematical Logic,Tel: +44 (0)113 343 4843, Email: P.E.Shafer@leeds.ac.uk, or

Professor Michael Rathjen, Tel: +44 (0)113 343 5109, Email: M.Rathjen@leeds.ac.uk