University of Aberdeen
Just Landed
New Today
Funded PhD in Quantitative Verification of Agri-Food Supply Chain Models University of Aberdeen in United Kingdom
Degree Level
PhD
Field of study
Computer Science
Funding
Funded PhD project for students worldwide. Funding details beyond funded status are not specified in the post.
Deadline
Oct 16, 2026
Country
United Kingdom
University
University of Aberdeen

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
Funded PhD opportunity at the University of Aberdeen in quantitative verification of supply chain models, with a focus on agri-food efficiency systems, sustainability, fairness, and resilience.
The project develops a formal verification framework for complex multi-agent systems where autonomous agents make decisions under uncertainty, incentives, and trade-offs. The methods combine formal methods, temporal logic, probabilistic verification, and game-theoretic reasoning to study whether sustainable and equitable outcomes can be achieved.
Application areas include agri-food supply chains and case studies such as organic food supply chains, with attention to waste, emissions, transparency, efficiency, and environmental impact. The student will gain experience with verification tools and interdisciplinary training in sustainability science and risk assessment.
Eligibility: applicants should have a degree in computer science, mathematics, or a related field, plus a strong background in formal methods and logic and good programming skills.
Supervisors: Dr Chunyan Mu, Professor Brian Logan, and Dr Adewale Adenuga. Enquiries go to Chunyan Mu.
Location: Aberdeen, United Kingdom. Deadline: 16 October 2026 at 12:00 noon UK time.
Funding details
Funded PhD project for students worldwide. Funding details beyond funded status are not specified in the post.
What's required
Degree in computer science, mathematics, or a related field. Applicants should have a strong computer science and/or mathematical background, particularly in formal methods and logic, and good programming skills.
How to apply
Review the project details and apply through the FindAPhD/University of Aberdeen application route. Contact Dr Chunyan Mu for enquiries if you need clarification before applying.
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.