Research Fellow - multiple positions (FTC)
2 days ago Be among the first 25 applicants
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.
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 nicolai.kraus@nottingham.ac.uk. 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
Our university is a supportive, inclusive, caring and positive community. We welcome those of different cultures, ethnicities and beliefs – indeed this very diversity is vital to our success, it is fundamental to our values and enriches life on campus. Visit our Equality, Diversity and Inclusion website.
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
Seniority level
* Seniority level
Internship
Employment type
* Employment type
Full-time
Job function
* Job function
Research, Analyst, and Information Technology
* Industries
Research Services
Referrals increase your chances of interviewing at University of Nottingham by 2x
Get notified about new Researcher jobs in Nottingham, England, United Kingdom.
Nottingham, England, United Kingdom 1 week ago
Research Associate in Mathematics (Earth's Tipping Points)
Clinical Research Fellow in Imaging and Brain Cancer (Fixed term)
Nottingham, England, United Kingdom 2 days ago
Project Risk Manager/Analyst (All Levels) - Defence Infrastructure
Nottingham, England, United Kingdom 5 days ago
Nottingham, England, United Kingdom 3 days ago
Burton Upon Trent, England, United Kingdom 2 days ago
Bretby, England, United Kingdom 1 week ago
Postdoctoral Researcher in Machine Learning of Isomerization in Porous Molecular Framework Materials
Nottingham, England, United Kingdom 5 days ago
Business Analyst (Lead II - Business Analysis)
Nottingham, England, United Kingdom 1 week ago
Nottingham, England, United Kingdom 2 weeks ago
Derby, England, United Kingdom 6 days ago
Nottingham, England, United Kingdom 3 days ago
Swadlincote, England, United Kingdom 1 week ago
We’re unlocking community knowledge in a new way. Experts add insights directly into each article, started with the help of AI.
#J-18808-Ljbffr