Uli Sattler
Top university
11 months ago
This scholarship has expired. You can find similar scholarships from the section below or browse our scholarships listing pages.
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
United Kingdom
University
The University of Manchester
Suggested scholarships
Keywords
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.
Make your next move.
Prepare your application
Review drafts and confirm requirements with the provider.
Professors
Professor
United Kingdom
Research Interests
Artificial Intelligence
Epidemiology
Mathematics
Large Language Models
Temporal Logic
Dr.
United Kingdom
Research Interests
Artificial Intelligence
Mathematics
Large Language Models
Computer Science
Lecturer (Assistant Professor)
United Kingdom
Research Interests
Artificial Intelligence
Computational Neuroscience
Neuroinformatics
Training Methodology
Corruption
Make your next move.
Prepare your application
Review drafts and confirm requirements with the provider.