Publisher
source

University of Exeter

PhD in Extensible Programming Languages for Data Structures in Monoidal Categories University of Exeter in United Kingdom

Degree Level

PhD

Field of study

Computer Science

Funding

Available

Deadline

Dec 8, 2026

Country flag

Country

United Kingdom

University

University of Exeter

Apply for this scholarship

Keywords

Computer Science
Mathematics
Theoretical Computer Science
Formal Methods
Type Theory

Suggested scholarships

Publisher
source

Imperial College London

Country flag

United Kingdom

Imperial College London is advertising 50 President’s PhD Scholarships for 2027–28 , a fully funded opportunity for students interested in Artificial Intelligence and related research areas. The scholarship covers full tuition fees , provides £2,000 per year for research consumables for the first 3 years, and offers 3.5 years of funding . Applicants from the UK and worldwide are eligible. A key requirement is that you must already have an Imperial supervisor who has agreed to supervise your rese...

Computer Science
Information Technology
Mathematics
+1 more

1 month ago

Publisher
source

University of Oxford

Country flag

United Kingdom

Fully funded DPhil studentships are available in Technical AI Governance through the Oxford Martin AI Governance Initiative’s Technical AI Governance Programme at the University of Oxford, UK. The research focuses on AI safety, model evaluation, compute governance, privacy-preserving auditing and technical standards. The programme is suited to applicants interested in the technical foundations of responsible and safe artificial intelligence, including the evaluation and governance of advanced AI...

Computer Science
Mathematics
Artificial Intelligence
+2 more

5 days ago

Publisher
source

University of East Anglia

Country flag

United Kingdom

The University of East Anglia is offering a PhD project at its Norwich campus on formalising the local Langlands correspondence for GL₂(F) in the Lean interactive theorem prover. The research sits at the intersection of number theory, representation theory, formal mathematics, and computer-verified proof . The project will begin by formalising the sophisticated mathematical structures needed to state the local Langlands correspondence. One part will address the representation theory of GL₂(F), w...

Computer Science
Mathematics
Number Theory
+2 more

Posted Yesterday

Publisher
source

The University of Edinburgh

Country flag

United Kingdom

The CDT in Machine Learning Systems at The University of Edinburgh offers fully funded PhD studentships in machine learning systems , computer science , information technology , and related quantitative areas. The studentships cover stipend, fees, and research costs for all appointed students. Funding lasts for 4 years (48 months full-time equivalent) and includes a monthly stipend at the UKRI standard rate. Reported stipend levels include £21,805 for international students (2026/27 rate) and £3...

Computer Science
Data Science
Information Technology
+3 more

1 month ago

Publisher
source

University of Oxford

Country flag

United Kingdom

Clarendon Fund Scholarships 2027 at the University of Oxford are presented here as a fully funded opportunity for outstanding international candidates pursuing Master's or PhD study. The post says the award is open across all degree-bearing subjects , making it relevant to a wide range of academic fields such as biology, computer science, physics, chemistry, mathematics, and medical science. Funding is described as covering course fees plus a generous annual living grant . This is a scholarship ...

Computer Science
Chemistry
Biology
+3 more

3 weeks ago

About this position

[Funding of fees plus a stipend per annum for 2026/7; stipend amount given as £21,805.]

PhD in Extensible Programming Languages for Data Structures in Monoidal Categories at the University of Exeter is a funded doctoral studentship in theoretical computer science.

The project connects algorithms and complexity theory with logic and programming language theory. It focuses on linear type systems, monoidal categories, and the design of a new functional programming language that can support both linear and non-linear type formers while also being interpreted in user-defined monoidal categories.

Research topics include programming language design, categorical semantics, type systems, algorithms and data structures, and the implementation of mechanized proof assistants. A central motivation is to improve efficiency in proof assistants based on dependent type theory such as Lean, Rocq, and Agda. The project also considers whether the system should be a standalone language or embedded in an existing proof assistant such as Isabelle.

Expected outputs include a prototype programming language, mathematical foundations for interpretation mechanisms, and potentially an improved implementation of a proof assistant. The work aims to produce both theoretical contributions and practical advances in secure and efficient software.

Funding: The studentship provides funding of fees and a stipend per annum for 2026/7, with the stipend noted as £21,805.

Eligibility / requirements: No specific entry requirements are stated in the provided text.

Deadline: 08 Dec 2026.

Location: Streatham Campus, University of Exeter, United Kingdom.

Funding details

Available

How to apply

Apply via the University of Exeter funding application link. Prepare your application before the deadline of 2026-12-08 and follow any instructions on the scholarship page.

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts and confirm requirements with the provider.