Research Fellow - multiple positions (FTC) (SCI

Dependent type theory is a foundation of mathematics that allows us to mechanise arguments, and is closely related to higher category theory. It serves as that basis of programming languages and proof assistants. The current project aims to make progress in the field of dependent type theory and, in particular, in homotopy type theory, by exploring which statements can be expressed in which setting, and what the mathematically necessary assumptions are. 

There are 2 positions available for this vacancy. The successful applicants will contribute to the development of results in the field of dependent type theory and related areas. In particular, this will involve proving theorems  with pen and paper, possibly mechanising them in a a proof assistant (such as Agda), writing and submitting publications, and presenting results in local seminars as well as at international conferences. The role holders will have the opportunity to travel to internaional events in order to create new connections with other experts in the field. The role holders will be part of the Functional Programming Lab in Nottingham and have the opportunity to join, contribute to, or organise local activities.

 The role holders will work with and under the mentorship of Prof Nicolai Kraus. Apart from contributing to existing research projects, they will also be expected to also advance their own independent research career. They will have the opportunity to guide and mentor more junior members of the group.

Candidates are expected to have a good background in dependent type theory and category theory. They should hold a PhD or be close to completing a PhD in computer science, mathematics, or a related area with a topic close to type theory or constructive mathematics. Expertise can be evidenced through publications (including preprints), talks, projects, work openly accessible in git repositories, or in any other way.

This is a fixed-term, full time position. The posts will be available from October 2025 and are initially for three years, with the possibility of extending. Hours of work are full time (36.25 hours per week). The position is based in the School of Computer Science on our Jubilee Campus in Nottingham.

Informal enquiries may be addressed to Prof Nicolai Kraus at nicolai.kraus@nottingham.ac.uk. Please note that applications should not be sent directly to this email address. 

Closing Date: 25 Jul 2025 Category: Research and Teaching (R&T)