National AI Awards 2025Discover AI's trailblazers! Join us to celebrate innovation and nominate industry leaders.

Nominate & Attend

Research Fellow - multiple positions (FTC)

University of Nottingham
Nottingham
3 weeks ago
Create job alert

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 . 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 ListSeniority level

  • Seniority levelInternship

Employment type

  • Employment typeFull-time

Job function

  • Job functionResearch, Analyst, and Information Technology
  • IndustriesResearch Services

Referrals increase your chances of interviewing at University of Nottingham by 2x

Get notified about new Researcher jobs inNottingham, 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

Related Jobs

View all jobs

Research Fellow (Project Manager, Genomics and Immunology)

Research Fellow or Senior Research Fellow in Population Health/Data Science/Genetic Epidemiology

Research Fellow - multiple positions (FTC)

Research Fellow Ref: 41251 (Fixed Term)

Research Fellow (Fixed term)

Research Associate/Fellow (FTC)

National AI Awards 2025

Subscribe to Future Tech Insights for the latest jobs & insights, direct to your inbox.

By subscribing, you agree to our privacy policy and terms of service.

Industry Insights

Discover insightful articles, industry insights, expert tips, and curated resources.

10 Biotechnology Recruitment Agencies in the UK You Should Know (2025 Job‑Seeker Guide)

The UK’s biotech boom—fueled by the £650 million Life Sciences Vision Fund and rapid mRNA, cell & gene‑therapy adoption—continues to outpace talent supply. Lightcast reported +45 % year‑on‑year growth in UK adverts mentioning “CRISPR”, “GMP bioprocess” or “cell therapy” during Q1 2025. Yet only about 25,000 specialised biotech professionals work nationwide, while monthly live vacancies average 1,800–2,100. All data verified 22 July 2025; re‑audit quarterly for freshness.. Specialist recruiters remain critical for tapping stealth roles, benchmarking salaries and streamlining the lab‑tour interview gauntlet. We reviewed 60 + consultancies and kept only agencies with: A registered UK head office (Companies House). A dedicated Biotechnology / Life‑Sciences practice. At least five UK biotech roles advertised between March and June 2025. Below you’ll find a hiring‑landscape snapshot, a quick directory of 10 vetted agencies, salary medians, in‑demand skills, interview expectations, FAQs and next steps—mirroring our AI and quantum guides.

Biotech Jobs Skills Radar 2026: Emerging Tools, Platforms & Technologies to Learn Now

The UK biotechnology sector is entering a new era—fuelled by AI integration, synthetic biology, and next-gen diagnostics. With biotech investment breaking records and a surge in demand for skilled talent across R&D, biomanufacturing, and regulatory fields, it’s vital for job seekers to future-proof their skillsets. Welcome to the Biotech Jobs Skills Radar 2026—a forward-looking guide to the emerging tools, lab techniques, platforms, and digital skills driving hiring in the UK's biotechnology industry. This radar is updated annually to help students, researchers, and transitioning professionals stay competitive in a fast-changing landscape.

How to Find Hidden Biotechnology Jobs in the UK Using Professional Bodies like the RSB, BIA, BioIndustry Association & More

The UK biotechnology sector is thriving. From cutting-edge gene therapies and synthetic biology to bio-manufacturing and agricultural innovation, the demand for skilled biotech professionals continues to grow. Yet many of the best opportunities—particularly in early-stage companies, startups, and research-intensive roles—are never listed on conventional job boards. So where do these hidden biotech jobs live? Often, they’re shared through word-of-mouth, member networks, or professional communities—especially those associated with leading biotech institutions and associations. Whether you’re a graduate looking for your first role, a research scientist ready to move into industry, or a regulatory professional seeking your next challenge, joining the right professional bodies can give you exclusive access to job leads, collaborations, and insider opportunities. In this article, we’ll show you how to strategically leverage UK-based organisations such as the Royal Society of Biology (RSB), BioIndustry Association (BIA), and Biotech and Life Sciences Networks to uncover hidden jobs and build a long-term, sustainable career in biotechnology.