University of Exeter
1 week ago
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
United Kingdom
University
University of Exeter
Apply for this scholarship
Keywords
Suggested scholarships
About this position
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.
Make your next move.
Prepare your application
Review drafts and confirm requirements with the provider.
Make your next move.
Prepare your application
Review drafts and confirm requirements with the provider.