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 ([email protected]). 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).