Postgrad LIVE! Study Fairs

Birmingham | Edinburgh | Liverpool | Sheffield | Southampton | Bristol

University of Manchester Featured PhD Programmes
University of Kent Featured PhD Programmes
Birkbeck, University of London Featured PhD Programmes
University of Oxford Featured PhD Programmes
University of Reading Featured PhD Programmes

University of Manchester PhD Projects, Programs & Scholarships

We have 389 University of Manchester PhD Projects, Programs & Scholarships

  • University of Manchester×
  • clear all
Order by 
Showing 271 to 280 of 389
  Deep Learning for Temporal Information Processing
  Dr K Chen
Applications accepted all year round
Temporal information process covers a broad class of learning problems where knowledge can be acquired from data of a sequential order, e.g.
  Developing new theoretical and practical techniques for parallel runtime monitoring
  Dr G Reger
Applications accepted all year round
Runtime monitoring is a lightweight formal method used to check the correctness of software systems. The method deals with the runtime (or dynamic) behaviour of a system, usually by recording a sequence of events that happen when the system is run.
  Digital Multimedia and Human Memory - Preventing Technology-Driven Memory Degredation
  Dr S Clinch
Applications accepted all year round
Digital Multimedia and Memory. Technology has the potential to transform the way that we think and remember, with potential positive and negative impacts on every aspect of our lives.
  Dissipativity-related properties in hybrid automata
  Dr E Navarro-Lopez
Applications accepted all year round
This research explores energy-related properties of hybrid systems, especially in hybrid automata. Here, energy refers to the abstract energy of the system which may not have a physical interpretation.
  DYVERSE Networks: pushing the boundaries of formal verification
  Dr E Navarro-Lopez
Applications accepted all year round
The controlled motion of swarm satellites; the cooperation of several robotic systems to meet a common goal; the operation of large-scale electrical power networks with renewable generation sources; the automation of public transport scheduling systems in metropolitan areas; the synchronisation patterns of beta-cells in your pancreas; the self-organisation of cells.
  Efficient automated theorem proving for first-order logic
  Dr K Korovin
Applications accepted all year round
Automated theorem proving has applications ranging from proving theorems in mathematics to verifying correctness of hardware and software.
  Ensemble Strategies for Semi-Supervised, Unsupervised and Transfer Learning
  Dr K Chen
Applications accepted all year round
Traditionally there are two main paradigms in machine learning, supervised vs. unsupervised learning.
  Exploiting Software Vulnerabilities at Large Scale
  Dr LC Cordeiro, Dr G Reger
Applications accepted all year round
Currently, our software verification community faces a pressing problem to ensure security of Internet services that hold sensitive information from millions of users.
  Finding Vulnerabilities in IoT Software using Fuzzing, Symbolic Execution and Abstract Interpretation
  Dr LC Cordeiro
Applications accepted all year round
Our reliance on the correct functioning of embedded systems is growing rapidly. Such systems are used in a wide range of applications such as airbag control systems, mobile phones, and high-end television sets.
  Formal Methods: Hybrid Event-B and Rodin
  Dr R Banach
Applications accepted all year round
These days, the world is increasingly being populated with systems that interact directly with the physical world. Of course such systems have existed for a long time in niche safety-critical areas, eg.
Show 10 15 30 per page


FindAPhD. Copyright 2005-2018
All rights reserved.