PhD Opportunities

To be considered for postgraduate study you need to submit a formal application. Further guidance and instructions on how to do this are available. 

The University of York offers several funding schemes across all departments. Funding for international students. Funding for UK/EU students.

 

Directly funded PhD projects available for immediate application

These studentships are fully-funded by UK Research Councils, charities or industry. Eligibility criteria vary so please check who is funding the project in which you are interested. For projects funded by EPSRC, only UK and EU students who meet the UK residency requirements are eligible to apply (minimum of three years of continuous residency in the UK immediately prior to the start of the PhD).

EPSRC studentships cover: (i) an annual tax-free stipend at the standard Research Council rate (£14,777 for 2018-2019, but typically increases annually in line with inflation) and (ii) tuition fees at the UK/EU rate.

Supervisor(s)Project title and detailsEligibility

Susan Stepney

Angelika Sebald 
(Chemistry)

PhD studentship: Heterotic Computing: Theory (PDF  , 78kb)

Closing date: 31 July 2018 (or earlier)
Start date: October 2018
https://www.york.ac.uk/yccsa/opportunities/

Research area:
Unconventional computing
About YCCSA

Apply

Subject to EPSRC 
eligibility criteria

 

Ana Cavalcanti 

PhD studentship: Verification Techniques for Swarm Robotics (PDF  , 111kb)

Closing date: 31 July 2018
Start date: October 2018

 

Research area:
Software engineering; Cyber Physical Systems; Autonomous systems;
Formal specification languages, methods and tools; Safety of autonomous systems;

 

Apply

 

 UK/EU students

 

PhD projects available for applicants who can fund their own studies

Supervisor(s)Project title Research area
Rob Alexander Tractable situation coverage for autonomous cars Autonomous and self-adaptive systems;
Safety analysis, system safety;
Safety of autonomous and self-adaptive systems;
Software testing
Rob Alexander Mutation testing for simulated autonomous vehicles Automated and Model-Driven Software Engineering;
Autonomous and self-adaptive systems;
Cyber Physical Systems;
Safety of autonomous and self-adaptive systems;
Software engineering;
Software testing 
Rob Alexander A testbed simulator for autonomous vehicle testing methods  Autonomous and self-adaptive systems;
Cyber Physical Systems;
Safety analysis, system safety;
Safety of autonomous and self-adaptive systems;
Software testing 
Adrian Bors Human Interaction Recognition from Video Streams Computer Vision and Image Processing; 
Machine learning; 
Neural networks 

Radu Calinescu

Daniel Kudenko

Assured Deep Reinforcement Learning for Safety-Critical Applications  Artificial intelligence;
Autonomous and self-adaptive systems;
Machine learning;
Neural networks;
Safety of autonomous and self-adaptive systems
 

Radu Calinescu

Ibrahim Habli

Synthesis and Verification of Dynamic Assurance Cases for Self-Adaptive Systems  Automated and Model-Driven Software Engineering;
Autonomous and self-adaptive systems;
Safety analysis, system safety;
Safety of autonomous and self-adaptive systems;
Software engineering
 
Ana Cavalcanti Static verification of robotic simulations  Autonomous and self-adaptive systems;
Cyber Physical Systems;
Formal specification languages, methods and tools;
Real time languages and systems;
Safety of autonomous and self-adaptive systems; Software engineering
 
Ana Cavalcanti Model-based engineering in swarm robotics Autonomous and self-adaptive systems;
Cyber Physical Systems;
Formal specification languages, methods and tools;
Real time languages and systems;
Safety of autonomous and self-adaptive systems; Software engineering
Daniel Franks

Darren Croft
Using Data Science and Agent-Based Modeling to Understand Killer Whale Ecology and Evolution Artificial intelligence;
Complex systems;
Data analytics;
Evolutionary computation;
Machine learning;
Neural networks;
Simulating complex systems
Ibrahim Habli 

Cynthia Iglesias (HYMS/Health Sciences)

Cade McCall (Psychology)
Patient Safety Assurance for Digital Health  Enterprise systems: managing and developing large scale, complex IT systems;
Health informatics and medical devices;
Safety analysis, system safety;
Simulating complex systems;
Software engineering

Daniel Kudenko 

Radu Calinescu

Assured Multi-Agent Reinforcement Learning  Artificial intelligence;
Autonomous and self-adaptive systems; Machine learning;
Safety of autonomous and self-adaptive systems

Daniel Kudenko

Multi-Agent Knowledge Based Reinforcement Learning

Artificial intelligence;
Autonomous and self-adaptive systems; Machine learning;
Safety of autonomous and self-adaptive systems

Daniel Kudenko  Curriculum Learning for Multi-Agent Reinforcement Learning Artificial intelligence;
Autonomous and self-adaptive systems; Machine learning
Nick Pears

Will Smith

 3D Shape Modelling of the Human Head Computer Vision and Image Processing; 
Machine learning
Christopher Power Uncertainty in Digital Games Games and gamification;
Usability and User Experience
Christopher Power  Situational Awareness in Autonomous Vehicles  Autonomous and self-adaptive systems;
Safety analysis, system safety;
Usability and User Experience
Christopher Power Sensemaking in Information Seeking  Data analytics;
Digital heritage;
Usability and User Experience
 
Christopher Power  Problem Solving in Data Analytics Applications  Data analytics;
Usability and User Experience

Christopher Power 

Paul Cairns

Positive Impacts of Gaming on Well-being Accessibility and Inclusive Design;
Games and gamification;
Usability and User Experience

Christopher Power 

Mark Eramian (University of Saskatchewan)

Influence of User Behaviour on Image Segmentation Applications Computer Vision and Image Processing;
Data analytics;
Usability and User Experience
 
Leandro Soares Indrusiak Reliable Real-Time Wireless Networking for Fractionated Autonomous Systems

Autonomous and self-adaptive systems;
Cyber Physical Systems;
Embedded systems;
Real time languages and systems;
Safety of autonomous and self-adaptive systems; Simulating complex systems;
Wireless Sensor Networks and Internet of Things

Leandro Soares Indrusiak Design and Optimisation of IoT Systems (Internet of Things) - Adaptive Load Balancing

Autonomous and self-adaptive systems; 
Cyber Physical Systems; 
Embedded systems; 
Automated and Model-Driven Software Engineering;
Real time languages and systems; 
Wireless Sensor Networks and Internet of Things

Leandro Soares Indrusiak Multiprocessor platforms for real-time and embedded systems - Security in Network-on-Chip Interconnects

Autonomous and self-adaptive systems; 
Computer architectures; 
Cyber Physical Systems; 
Embedded systems; 
Evolutionary computation;
Real time languages and systems

Susan Stepney

Richard Walsh (English and Related Literature)

Generative Narratives for Complex Systems Complex systems;
Unconventional computing

Susan Stepney

Angelika Sebald (Chemistry)

Origins of Artificial Life Complex systems;
Unconventional computing
Richard Wilson  Quantum Algorithms for Computer Vision Computer Vision and Image Processing;
Quantum information processing
 

 

Supervisor(s)Project title (details linked)Research areas
Detlef Plump

Refinement of Graph Programs: From Specifications to Fast Code

Formal specification languages, methods and tools;
Programming Languages and Systems;
Software engineering
Detlef Plump

Automatically Analysing Graph Programs for Termination and Complexity

Complex systems;
Formal specification languages, methods and tools;
Programming Languages and Systems;
Safety analysis, system safety;
Software engineering
Detlef Plump

Generating Graphs Uniformly at Random in User-Specified Domains

Complex systems;
Formal specification languages, methods and tools;
Programming Languages and Systems;
Software engineering;
Software testing

Radu Calinescu

Adrian Bors

Autonomous Multi-Camera Monitoring Systems 

Autonomous and self-adaptive systems;
Computer Vision and Image Processing; 
Automated and Model-Driven Software Engineering;
Safety of autonomous and self-adaptive systems;
Software engineering

Richard Wilson 

3D Shape Search

Artificial intelligence;
Bayesian techniques for analysis and search;
Computer Graphics;
Computer Vision and Image Processing; Data analytics;
Machine learning

Richard Wilson 

Anders Drachen

Social Interactions in Online Games

Data analytics;
Games and gamification;
Machine learning

Paul Cairns Understanding player experience in digital games

Games and gamification;
Usability and User Experience

Paul Cairns Errors in interactions Health informatics and medical devices;
Usability and User Experience 
Leandro Soares Indrusiak Application-aware resource management in multiprocessor, high-performance and cloud computing Cloud computing;
Computer architectures;
Cyber Physical Systems;
Embedded systems;
Evolutionary computation;
Real time languages and systems

Simon O'Keefe

Emergent Memory In Swarm  Artificial intelligence;
Autonomous and self-adaptive systems;
Neural networks