Leeds, United Kingdom
ID: 7058797 (Ref.No. MAPMA1114)
Posted: July 31, 2019
Are you an ambitious researcher looking for your next challenge? Do you have an established background in Pure Mathematics? Do you want to further your career in one of the UKs leading research intensive Universities?
We are looking for a Research Fellow to join our project “Univalent type theories: models, equalities, and coherence”, which seeks to advance Homotopy Type Theory. In particular, the project seeks to study homotopy-theoretic models of type theories and their connections with Higher Topos Theory.
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 (or have submitted your thesis before taking up the role), alongside experience in Type Theory, Category Theory or Homotopy Theory. You will also have the ability to conduct independent research and a developing track record of publications in international 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 Nicola Gambino, Associate Professor in Pure Mathematics
Tel: +44 (0)113 343 5143, email: email@example.com
|Location:||Leeds - Main Campus|
|Faculty/Service:||Faculty of Mathematics & Physical Sciences|
|School/Institute:||School of Mathematics|
|Salary:||£33,199 to £39,609 p.a.|
|Post Type:||Full Time|
|Contract Type:||Fixed Term (Fixed term until 31 August 2020 with the possibility of extension, dependent on funding)|
|Release Date:||Tuesday 30 July 2019|
|Closing Date:||Tuesday 27 August 2019|
|Interview Date:||Thursday 12 September 2019|