Imperial College London Featured PhD Programmes
Sheffield Hallam University Featured PhD Programmes
University of Reading Featured PhD Programmes
United Kingdom
York×
10 miles

Software Engineering PhD Projects, Programs & Scholarships in York

We have 9 Software Engineering PhD Projects, Programs & Scholarships in York

  • Software Engineering×
  • United Kingdom×
  • York×
  • clear all
Order by 
Showing 1 to 9 of 9
  Theatre, Film, Television and Interactive Media

Funding Type

PhD Type

Our Department of Theatre, Film, Television and Interactive Media offers innovative research degrees, teaching from industry professionals and a vibrant creative community.
  How does safety-critical software actually get developed?
  Dr R Alexander
Applications accepted all year round

Funding Type

PhD Type

Research areas. 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.
  Generating Graphs Uniformly at Random in User-Specified Domains
  Dr D Plump
Applications accepted all year round

Funding Type

PhD Type

Research areas. Complex systems; Formal specification languages, methods and tools; Programming Languages and Systems; Software engineering;.
  Automatically Analysing Graph Programs for Termination and Complexity
  Dr D Plump
Applications accepted all year round

Funding Type

PhD Type

Research areas. Complex systems; Formal specification languages, methods and tools; Programming Languages and Systems; Safety analysis, system safety; Software engineering.
  Refinement of Graph Programs: From Specifications to Fast Code
  Dr D Plump
Applications accepted all year round

Funding Type

PhD Type

Research areas. Formal specification languages, methods and tools; Programming Languages and Systems; Software engineering.
  Model-based engineering in swarm robotics
  Prof A Cavalcanti
Applications accepted all year round

Funding Type

PhD Type

Research areas. Autonomous and self-adaptive systems; Cyber Physical Systems; Formal specification languages, methods and tools;.
  Static verification of robotic simulations
  Prof A Cavalcanti
Applications accepted all year round

Funding Type

PhD Type

Research areas. Autonomous and self-adaptive systems; Cyber Physical Systems; Formal specification languages, methods and tools;.
  Synthesis and Verification of Dynamic Assurance Cases for Self-Adaptive Systems
  Dr R Calinescu, Dr I Habli
Applications accepted all year round

Funding Type

PhD Type

Research areas. Automated and Model-Driven Software Engineering; Autonomous and self-adaptive systems; Safety analysis, system safety;.
  Autonomous Multi-Camera Monitoring Systems
  Dr R Calinescu, Dr A Bors
Applications accepted all year round

Funding Type

PhD Type

Research areas. 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.
Show 10 15 30 per page
  • 1


FindAPhD. Copyright 2005-2020
All rights reserved.