Would you like to join a world-leading research group in mathematical logic?
Do you have a strong background in computability theory or proof theory?
Do you want to explore new directions in reverse mathematics?
You will work on the EPSRC-funded project " ref=EP%2FT031476%2F1">Reverse mathematics of general topology " led by Dr Paul Shafer. As part of the project, you will help develop the reverse mathematics of topology beyond the usual setting of complete separable metric spaces. You will explore the reverse mathematics of topology in many different frameworks, such as second-order arithmetic, higher-order arithmetic, and weak set theories.
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