Research Fellow - multiple positions (FTC)
Company
Location
Nottingham, England, United Kingdom
Posted At
6/30/2025
Advertise with us by contacting: [email protected]
Disclaimer: Hunt UK Visa Sponsors aggregates job listings from publicly available sources, such as search engines, to assist with your job hunting. We do not claim affiliation with University of Nottingham. For the most up-to-date job details, please visit the official website by clicking "Apply Now."
Description
Area
Computer Science
Location
Jubilee Campus
Salary
£31,637 to £46,735 per annum, depending on skills and experience (minimum £35,116 with relevant PhD). Salary progression beyond this scale is subject to performance.
Closing Date
Friday 25 July 2025
Reference
SCI174425
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 [email protected] . Please note that applications should not be sent directly to this email address.
Email details to a friend
Apply Online
Further details:
We are proud to be a Disability Confident Employer (Level 2) employer . Increasing the diversity of our community is extremely important to us and we are committed to the aims of Disability Confident Scheme.
We are the first university to have achieved Athena Swan Gold Award .
To help you succeed, we published Candidate Guidance to provide support on the application and interview process.
Discover our benefits, visit Your Benefits website.
We welcome applications from UK, Europe and worldwide and aim to make your move to the UK as smooth as possible. Visit the Moving to Nottingham page for details.
Your application will be considered on an equal basis, subject to the relevant permission to work in the UK as set out by UK Visas & Immigration .
View All Vacancies
View Previous List
Computer Science
Location
Jubilee Campus
Salary
£31,637 to £46,735 per annum, depending on skills and experience (minimum £35,116 with relevant PhD). Salary progression beyond this scale is subject to performance.
Closing Date
Friday 25 July 2025
Reference
SCI174425
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 [email protected] . Please note that applications should not be sent directly to this email address.
Email details to a friend
Apply Online
Further details:
- Job Description/Role Profile
We are proud to be a Disability Confident Employer (Level 2) employer . Increasing the diversity of our community is extremely important to us and we are committed to the aims of Disability Confident Scheme.
We are the first university to have achieved Athena Swan Gold Award .
To help you succeed, we published Candidate Guidance to provide support on the application and interview process.
Discover our benefits, visit Your Benefits website.
We welcome applications from UK, Europe and worldwide and aim to make your move to the UK as smooth as possible. Visit the Moving to Nottingham page for details.
Your application will be considered on an equal basis, subject to the relevant permission to work in the UK as set out by UK Visas & Immigration .
View All Vacancies
View Previous List
Advertise with us by contacting: [email protected]
Hunt UK Visa Sponsors
Copyright © 2025