Research Fellow in Pure Mathematics

University of Leeds

Leeds, United Kingdom

ID: 7089592 (Ref.No. EPSMA1052)
Posted: November 23, 2021

Job Description

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 "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

Email: p.e.shafer@leeds.ac.uk 

Please note: If you are not a British or Irish citizen, from 1 January 2021 you will require permission to work in the UK. This will normally be in the form of a visa but, if you are an EEA/Swiss citizen and resident in the UK before 31 December 2020, this may be your passport or status under the EU Settlement Scheme.

Location:  Leeds - Main Campus
Faculty/Service:  Faculty of Engineering & Physical Sciences
School/Institute:  School of Mathematics
Category:  Research
Grade:  Grade 7
Salary:  £34,304 to £40,927 p.a.
Due to funding restrictions an appointment will not be made above £37,467 p.a.
Working Time:  37.5 hours per week
Post Type:  Full Time
Contract Type:  Fixed Term (2 years (Grant funding))
Release Date:  Monday 22 November 2021
Closing Date:  Monday 10 January 2022
Interview Date:  To be confirmed
Reference:  EPSMA1052


The University community is made up of a wide range of people with diverse backgrounds and circumstances, which we value and regard as a great asset. As part of our continued commitment to equality and inclusion, we strive to create an environment where everyone can reach their full potential and have a real opportunity to participate in and contribute to our activities.