|Salary:||£34,304 to £40,927 Due to funding restrictions an appointment will not be made above £37,467 p.a.|
|Placed On:||24th November 2021|
|Closes:||10th January 2022|
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
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.
Fixed Term (2 years (Grant funding)
Closing date: Monday 10 January 2022
Type / Role: