Publisher
source

Uli Sattler

Top university

11 months ago

PhD Opportunity in Automated Theorem Proving and Large Language Models at The University of Manchester The University of Manchester in United Kingdom

Degree Level

PhD

Field of study

Computer Science

Funding

Scholarships are available for selected students to join the project. Details on stipend amount, tuition coverage, or other financial specifics are not provided.

Deadline

Expired

Country flag

Country

United Kingdom

University

The University of Manchester

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

3 weeks ago

Publisher
source

University of Cambridge

Country flag

United Kingdom

Cambridge–Tübingen Ph.D. Fellowship Call 2027 is open for candidates interested in machine learning , empirical inference , statistics , and related areas. The fellowship connects the University of Cambridge Machine Learning Group with the Max Planck Institute for Intelligent Systems in Tübingen, offering a joint research environment across two leading centres. The post highlights principal supervisors at Cambridge: Carl Edward Rasmussen , Jose Miguel Hernandez Lobato , Adrian Weller , Hong Ge ,...

Computer Science
Mathematics
Artificial Intelligence
+3 more

1 week ago

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

2 weeks ago

Publisher
source

University of Edinburgh

Country flag

United Kingdom

Centre for Doctoral Training (CDT) PhD with Integrated Study in Sensing, Processing, and AI for Defence and Security (SPADS) at the University of Edinburgh and Heriot-Watt University . This doctoral programme focuses on artificial intelligence , sensing , signal processing , hardware design , autonomous sensing platforms, multi-agent systems, and data intelligence for defence and security applications. The programme is jointly hosted by the University of Edinburgh and Heriot-Watt University, wit...

Computer Science
Signal Processing
Electrical Engineering
+6 more

4 days ago

Publisher
source

University of Salford

Country flag

United Kingdom

PhD Studentship at the University of Salford, United Kingdom in Modelling Dialogue Understandability in Media Using Listener Types and AI . This fully funded doctoral project investigates why dialogue in film, television, and streaming media can be difficult to understand even when it is audible. The research moves beyond traditional speech intelligibility measures to focus on dialogue understandability —how well listeners comprehend narrative content without excessive effort. The project combin...

Computer Science
Psychology
Electrical Engineering
+7 more

2 months ago

Keywords

Computer Science
Mathematics
Artificial Intelligence
Large Language Models

About this position

The University of Manchester is offering an exciting PhD opportunity at the intersection of automated theorem proving, large language models (LLMs), and pure mathematics. The project is supervised by Prof. Uli Sattler, Dr. Dominik Winterer, and Lecturer Anirbit Mukherjee, all based in the Department of Computer Science.

The research aims to advance the use of LLMs in mathematical theorem proving, leveraging tools like Lean to explore which areas of mathematics are most amenable to automation. The supervisors are seeking students with strong backgrounds in pure mathematics and/or experience with LLMs, who are passionate about AI for science and mathematical conjectures. Scholarships are available for successful applicants, though specific funding details are not disclosed. Interested candidates should consult the project details on FindAPhD.com and prepare to demonstrate their relevant expertise.

This is a unique opportunity to contribute to cutting-edge research in AI and mathematics at a leading UK institution.

Funding details

Scholarships are available for selected students to join the project. Details on stipend amount, tuition coverage, or other financial specifics are not provided.

What's required

Applicants should have rigorous training in either pure mathematics and/or experience with large language models (LLMs). A strong background in mathematical reasoning and interest in automated theorem proving is preferred. No specific GPA or language test requirements are mentioned.

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts and confirm requirements with the provider.

Professors

Professor

University Name
Country flag

United Kingdom

Research Interests

Artificial Intelligence

Epidemiology

Mathematics

Large Language Models

Temporal Logic

Dr.

University Name
Country flag

United Kingdom

Research Interests

Artificial Intelligence

Mathematics

Large Language Models

Computer Science

Lecturer (Assistant Professor)

University Name
Country flag

United Kingdom

Research Interests

Artificial Intelligence

Computational Neuroscience

Neuroinformatics

Training Methodology

Corruption