Visit All-Acad.com with more than 200,000 Jobs for Academics!
                    
Position: Research Fellow in Pure Mathematics
Institution: University of Leeds
Department: School of Mathematics
Location: Leeds, West Yorkshire, United Kingdom
Duties: 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
Requirements: 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
   
Text: Research Fellow in Pure Mathematics Are you an ambitious researcher looking for your next challenge? Do you have an established background in Type Theory, Category Theory or Homotopy Theory? Do you want to further your career in one of the UK’s 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 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 Location: Leeds - Main Campus Faculty/Service: Faculty of Mathematics & Physical Sciences School/Institute: School of Mathematics Category: Research Grade: Grade 7 Salary: £32,548 to £38,833 p.a. Working Time: 100% Post Type: Full Time Contract Type: Fixed Term (30 months) Closing Date: Tuesday 07 November 2017 Interview Date: Tuesday 05 December 2017 Reference: MAPMA1066 Downloads: Candidate Brief
Please click here, if the Job didn't load correctly.
Your browser does not support iframes. Please click <a href="https://www.all-acad.com/job.php?t_id=J0262795&redirect" target="_parent" style="color:#7A7A7A">here</a>, if the Job didn't load correctly.