Coventry University Featured PhD Programmes
University of Liverpool Featured PhD Programmes
University of Reading Featured PhD Programmes

Maths & Computing PhD Projects, Programs & Scholarships in Manchester

We have 49 Maths & Computing PhD Projects, Programs & Scholarships in Manchester

Discipline

Discipline

Maths & Computing

Location

Location

Manchester  United Kingdom

Institution

Institution

All Institutions

PhD Type

PhD Type

All PhD Types

Funding

Funding

I am a UK student


We have 49 Maths & Computing PhD Projects, Programs & Scholarships in Manchester

Modelling Crystal Growth for Crystal Habit Control and Rational Process Design

This project, based at The University of Manchester( UoM), is a collaboration between UoM and BASF, the world’s leading chemical company, that supports the development of advanced modelling capabilities for the prediction of crystal shape and morphology (habit), and the design of crystallization processes. Read more

PhD in Non-thermal Plasma Methods for Sustainable Catalysis

  Research Group: Sustainable Industrial Engineering
Catalysis is a key technology for multiple industries and will play a critical role to achieve net zero ambitions. In 2020 bp set a goal of being a net zero company by 2050 or sooner and helping the world get to net zero. Read more

Mathematical modelling of unstable plastic deformations in polycrystalline metals

Plastic deformations in polycrystalline materials may become localised into shear bands where the plastic flow is unstable. Shear band formation with plastic flow instability appear unexpectedly and affect the subsequent deformation and failure modes of the material. Read more

PhD in Life Cycle Assessment for Sustainable Catalysis

Catalysis is a key technology for multiple industries and will play a critical role to achieve net zero ambitions. In 2020 bp set a goal of being a net zero company by 2050 or sooner and helping the world get to net zero. Read more

Computational Logic: Adventures with the Fluted Fragment

Many problems in computational logic reduce to the satisfiability problem. given a formula of some logic, determine whether that formula is satisfiable (i.e., represents a logically possible situation). Read more

Computational Logic: Super-Counting Quantifiers

Many problems in computational logic reduce to the so-called satisfiability problem. given a formula of some logic, determine whether that formula is satisfiable (i.e., represents a logically possible situation). Read more

Security and privacy in IoT systems

Internet of Things (IoT) systems have entered our everyday life in various application scenarios. They range from personalised health care utilising data from users' wearable devices to smart manufacturing deploying data from all types of smart sensors embedded within the manufacturing processes. Read more

Application Level Verification of Solidity Smart Contracts

Smart contracts running in a blockchain environment (e.g. ones written in Solidity running on an Ethereum blockchain) need to consist of well defined atomic state updates; otherwise, the properties of the on-chain state become meaningless. Read more

Generating explainable answers to fact verification questions

Online platforms such as social media and news sites have recently become vehicles for widespread misinformation, making it challenging for users to distinguish facts from hearsay. Read more

Filtering Results