🎓 Discover PhD and Master's programmes at leading universities worldwide — Sign up free to save searches and get email alerts
UOB

University of Birmingham

7 Active PhDs

Available PhD Projects

Rigorous Safety and Reliability in Autonomous Systems via Formal Verification and Data-Driven Control
University of Birmingham Prof. Sadegh Soudjani 🎓 Applied Mathematics 🎓 Computer Science Deadline: 10 May 2024

Explore how to develop mathematically rigorous methods ensuring safety and reliability in autonomous systems by integrating control theory, formal verification, and probabilistic approaches. Ideal for candidates eager t…

This research is crucial for advancing the safety and reliability of autonomous systems deployed in real-world safety-critical applications…

3500+ citations · h30
Cyber-Physical Systems Safe Autonomy & AI Model Checking Formal Methods
Computational Methods and AI Models for Medical Image Analysis Using Generative and Foundation Models
University of Birmingham Dr Le Zhang 🎓 Artificial Intelligence 🎓 Biomedical Engineering

Explore cutting-edge AI techniques like generative and foundation models to advance medical image analysis. Investigate multimodal and vision-language models to develop robust, explainable algorithms that improve clinic…

This research enhances healthcare by developing AI models that improve diagnostic accuracy and clinical workflows, leading to better patien…

Medical Image Computing Generative AI Medical LLMs Digital Healthcare
Neural Mechanisms of Behavioural Conflict in Drosophila
University of Birmingham Prof. Carolina Rezaval 🎓 Molecular Biology 🎓 Neuroscience Deadline: 03 May 2026

Explore how the brain resolves behavioural choices using advanced techniques in Drosophila. Join a Wellcome Trust-funded team probing fundamental neural mechanisms with potential to impact neuropsychiatric disorder unde…

This research deepens understanding of how animals resolve conflicting motivations, which is vital for models of brain function and neurops…

858+ citations · h12
decision-making conflicting choices motivation neural circuit dissection
PhD Position in Control Theory and Formal Verification for Autonomous Systems Safety
University of Birmingham 🎓 Control Theory Deadline: 10 May 2024

Explore interdisciplinary research combining control theory, formal verification, and data-driven methods to guarantee the safety of autonomous systems. Develop new frameworks that ensure the reliability of AI in critic…

This research is vital for advancing the safety and reliability of autonomous technologies increasingly embedded in essential sectors. By c…

3580+ citations · h33
Cyber-Physical Systems Safe Autonomy & AI Model Checking Formal Methods
Understanding Staphylococcus capitis Skin Colonisation in Atopic Dermatitis
University of Birmingham Prof Joan Geoghegan 🎓 Microbiology 🎓 Molecular Biology

Investigate how Staphylococcus capitis colonises skin and its role in atopic dermatitis. Characterise bacterial factors influencing skin adhesion and disease mechanisms to uncover new therapeutic targets for chronic inf…

This research will improve understanding of microbial influences on atopic dermatitis, a widespread and painful skin condition. By elucidat…

9677+ citations · h48
Staphylococcus capitis Atopic Dermatitis Skin Colonisation Microbiome Dysbiosis
The Dispersal of the Cotton Collection
University of Birmingham Dr Noah Millstone; Dr Imogen Peck; Mr Julian Harrison 🎓 British and Irish History 🎓 Medieval History Deadline: 10 May 2026

Fully funded AHRC CDP PhD examining the dispersal and historical significance of the Cotton manuscript collection.

Pressurised ion transport in nanoporous materials
University of Birmingham Dr Yueting Sun; Prof Zhe Liu 🎓 Computational Chemistry 🎓 Materials Science Deadline: 29 May 2026

Fully funded PhD at the University of Birmingham investigating ion transport in nanoporous materials for energy storage and conversion applications.