University of Southampton
Top university
1 week ago
PhD in Automated Verification and Synthesis Using Coalgebras University of Southampton in United Kingdom
Degree Level
PhD
Field of study
Computer Science
Funding
Competition funded PhD project. Funding opportunities are available for UK and international students. Horizon Europe fee waivers may cover the difference between overseas and UK fees for qualifying students. Competition-based Presidential Bursaries may cover the difference between overseas and UK fees for top-ranked applicants. Competition-based studentships typically cover UK-level tuition fees and a stipend for living costs for top-ranked applicants.
Deadline
Mar 31, 2027
Country
United Kingdom
University
University of Southampton

How do I apply for this?
Sign in for free to reveal details, requirements, and source links.
Apply for this position
Keywords
Suggested positions
About this position
PhD opportunity at the University of Southampton in automated verification and synthesis using coalgebras, hosted by the Faculty of Engineering and Physical Sciences and supervised by Dr Corina Cirstea.
This project focuses on formal methods, coalgebraic verification, and the development of techniques for automated verification and synthesis of modern software agents. Research applications include autonomous systems and automated planning with correctness and optimality guarantees. The project also connects to theoretical computer science, mathematical structures for state-based dynamical systems, and reasoning about temporal behaviour.
Study areas / keywords: computer science, mathematics, artificial intelligence, software engineering, stochastic processes, formal verification, synthesis, coalgebras.
Eligibility: applicants should hold a UK 2:1 honours degree or international equivalent in computer science or mathematics. Interest in theoretical aspects of computer science is desirable. English language qualification is required if applicable.
Funding: this is a competition funded PhD project. Funding opportunities are available for UK and international students. The post mentions Horizon Europe fee waivers, Presidential Bursaries, and competition-based studentships that may cover tuition and provide a living stipend for top-ranked applicants.
How to apply: apply through the University of Southampton research application route for 2027/28, Faculty of Engineering and Physical Sciences, and search for PhD Computer Science (7089). Add the supervisor’s name in section 2 and upload the required documents: research proposal, CV, two academic references, transcripts/certificates, and English language qualification if needed.
Deadline: 31 March 2027.
Funding details
Competition funded PhD project. Funding opportunities are available for UK and international students. Horizon Europe fee waivers may cover the difference between overseas and UK fees for qualifying students. Competition-based Presidential Bursaries may cover the difference between overseas and UK fees for top-ranked applicants. Competition-based studentships typically cover UK-level tuition fees and a stipend for living costs for top-ranked applicants.
What's required
Applicants must have a UK 2:1 honours degree, or an international equivalent, in computer science or mathematics. An interest in theoretical aspects of computer science is desirable. English language qualification is required if applicable.
How to apply
Apply online for the Research programme for 2027/28 in the Faculty of Engineering and Physical Sciences, select full-time or part-time, search for PhD Computer Science (7089), and add the supervisor’s name in section 2. Include a research proposal, CV, two academic references, transcripts/certificates, and English language qualification if applicable.
More information can be found here
Ask ApplyKite AI

How do I apply for this?
Sign in for free to reveal details, requirements, and source links.