Research Fellow in Pure Mathematics
- Employer
- Global Academy Jobs
- Location
- United Kingdom
- Closing date
- Nov 7, 2017
View more
- Sector
- Science, Computer Science and IT, Computer Science, General Computing, Mathematics and Statistics
- Hours
- Full Time
- Organization Type
- University and College
- Jobseeker Type
- Academic (e.g. 'Lecturer')
Job Details
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 by investigating univalent type theories. In particular, the project seeks to study homotopy-theoretic semantics, explore their computational aspects, and develop their connections with higher-dimensional category theory. Our research on semantics will focus on algebraic counterparts of Cisinski model categories, computational aspects on the contrast between judgemental and propositional computation rules for inductive types, and higher-dimensional category theory on issues of coherence.
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, alongside experience inType 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: n.gambino@leeds.ac.uk
Company
Global Academy Jobs works with over 250 universities worldwide to promote academic mobility and international research collaboration. Global problems need international solutions. Our jobs board and emails reach the academics and researchers who can help.
"The globalisation of higher education continues apace, driving in turn the ongoing development of the global knowledge economy, striving for solutions to the world’s problems and educating a next generation of leaders and contributors."
Get job alerts
Create a job alert and receive personalized job recommendations straight to your inbox.
Create alert