Research Fellow – Multiple Positions (FTC): The University of Nottingham is seeking qualified candidates for multiple Research Fellow positions in the field of dependent type theory. This role will contribute to advancing research in mathematics and computer science, particularly in homotopy type theory and its applications.
Designation
Research Fellow (Fixed-Term Contract)
| Detail | Information |
|---|---|
| Research Area | Dependent Type Theory, Category Theory |
| Location | Jubilee Campus, Nottingham |
| Salary | £31,637 to £46,735 per annum, depending on skills and experience (minimum £35,116 with relevant PhD) |
| Hours | Full-time (36.25 hours per week) |
| Contract Duration | Initially three years, with the possibility of extension |
| Start Date | October 2025 |
Eligibility/Qualification
- A good background in dependent type theory and category theory.
- PhD completed or near completion in computer science, mathematics, or a related area focusing on type theory or constructive mathematics.
- Evidence of expertise can include publications, presentations, and projects, particularly available in open repositories.
Job Description
The successful applicants will engage in:
- Proving theorems related to dependent type theory.
- Mechanizing proofs using proof assistants (like Agda).
- Writing and submitting research publications.
- Presenting research results in seminars and international conferences.
- Mentoring junior members of the research group.
- Advancing independent research within the scope of the Functional Programming Lab at Nottingham.
You will work under the mentorship of Prof. Nicolai Kraus and have opportunities to participate in local activities and international collaborations.
How to Apply
Candidates interested in this position can apply online through the University of Nottingham’s careers website. All applications must be submitted through the designated application portal. Please note that informal inquiries can be addressed to Prof. Nicolai Kraus at nicolai.kraus@nottingham.ac.uk, but applications should not be sent directly to this email address.
Last Date for Application
Friday, 25 July 2025
