Publisher
source

University of Aberdeen

Just Landed

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 flag

Country

United Kingdom

University

University of Aberdeen

Social connections

How do I apply for this?

Sign in for free to reveal details, requirements, and source links.

Apply for this position

Keywords

Computer Science
Environmental Science
Agriculture
Mathematics
Energy Efficiency
Environmental Sustainability
Mathematical Logic
Resiliency
Temporal Logic
Multi-agent System

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

Start chatting
Can you summarize this position?
What qualifications are required for this position?
How should I prepare my application?