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
Location: Leeds - Main Campus
Faculty/Service: Faculty of Engineering & Physical Sciences
School/Institute: School of Mathematics
Grade: Grade 7
Salary: £34,304 to £40,927 p.a.
Due to funding restrictions an appointment will not be made above £37,467
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
Downloads: Candidate Brief
Location: France › Orsay
Offer Starting Date: 01/09/2022
Applications are invited for Postdoctoral positions in mathematics funded by
For further information see here: https: // www.
Debarre), Université Paris-Saclay Orsay (PI: Emanuele Macrì), and...
representation theory of quivers, cluster algebras, cluster categories,
We are looking for a postdoctoral Research Fellow to work on Karin Baur's
algebraic structures such as cluster categories.
Another aim is to find categories associated to...