University College London Featured PhD Programmes
Engineering and Physical Sciences Research Council Featured PhD Programmes
FindA University Ltd Featured PhD Programmes
University of Sheffield Featured PhD Programmes
University of Reading Featured PhD Programmes

Homotopy type theory as a language for directed infinite-dimensional structure

  • Full or part time
  • Application Deadline
    Friday, August 30, 2019
  • Funded PhD Project (European/UK Students Only)
    Funded PhD Project (European/UK Students Only)

Project Description

Applications for a fully-funded PhD position at the University of Birmingham, School of Computer Science, are invited. The prospective student will work with Dr Nicolai Kraus on a topic in the area of (homotopy) type theory and/or (higher dimensional) category theory; details can be discussed. Possible starting dates are from October 2019.

The stipend consists of 15009 GBP per annum, free from tax or other reductions, for full four years. It covers all tuition fees on the UK/EU level. It further includes travel budget to attend conferences, workshops, and other research meetings. This stipend is provided jointly by the Royal Society and the University of Birmingham.

The theory group at Birmingham’s School of Computer Science is exceptionally strong and very active. The group organises regular seminars and informal meetings. Many relevant international events regularly take place in Birmingham such as YaMCATS, MGS, and Unimath schools.

If you are interested in applying, in the first instance please contact Nicolai Kraus (). You do not need to have a concrete research proposal ready, but please outline your academic background (in particular with respect to type theory, category theory, general mathematics).

How good is research at University of Birmingham in Computer Science and Informatics?

FTE Category A staff submitted: 40.60

Research output data provided by the Research Excellence Framework (REF)

Click here to see the results for all UK universities

Email Now

Insert previous message below for editing? 
You haven’t included a message. Providing a specific message means universities will take your enquiry more seriously and helps them provide the information you need.
Why not add a message here
* required field
Send a copy to me for my own records.

Your enquiry has been emailed successfully





FindAPhD. Copyright 2005-2019
All rights reserved.