Don't miss our weekly PhD newsletter | Sign up now Don't miss our weekly PhD newsletter | Sign up now

We have 42 formal method PhD Projects, Programmes & Scholarships

Discipline

Discipline

All disciplines

Location

Location

All locations

Institution

Institution

All Institutions

PhD Type

PhD Type

All PhD Types

Funding

Funding

All Funding


formal method PhD Projects, Programmes & Scholarships

We have 42 formal method PhD Projects, Programmes & Scholarships

Binks Institute for Sustainability: Water Issues in Managed Wetlands and Woodlands: A Creative Practice-Led Investigation

Using a deep mapping method (Modeen and Biggs, 2020), this compilation of information, assisted by collaborative shared expertise, allows for connections and observations to be gathered that support pilot restoration projects within a community, as well as the creation of artworks that serve an educational function. . Read more

Micro-Bio-Mechanical Modelling of root growth in soils

The extent and the way roots grow in the ground is known to have a fundamental impact on the growth of crop plants as well as on the resistance to lodging induced by storms. Read more

Understanding Cultural Legal Studies: Interrogating Legal Meanings in Artistic and Popular Culture

Emerging out of traditions of law and literature, critical legal studies, and law and popular culture, cultural legal studies is an international field that has recently emerged at the cutting edge of the interdisciplinary study of law. Read more

Data-driven optimal prediction of bacteria growth

This project is devoted to an AI-based prediction of bacteria growth and its control by antibiotics. In synthetic biology, an improved understanding of bacterial regulatory circuits is required to develop complex biological systems with functionalities beyond existing in nature [1, 2]. Read more

Neurovascular coupling in cerebral hypoperfusion

There are almost a million people living with dementia in the UK. Most of these cases comprise Alzheimer’s Disease (AD), vascular dementia (VaD) or, as is increasingly recognised, a mixed picture phenotype with evidence of the two conditions co-existent in the same patient. Read more

Vascularisation of tumour organoids for mechanistic and drug development

Gliomas such as are the most common form of brain tumour, a subset Glioblastoma (GBM) are devastating adult brain cancer with high rates of recurrence and treatment resistance. Read more

Using chemical-genetics to inhibit and characterise “undruggable” enzymes

The ability to inhibit kinases with small molecule drugs has transformed our understanding of signalling networks. It has allowed us to define the substrates and processes that each kinase controls, and to map how these enzymes cooperate within signalling pathways. Read more

Undercover Mineralisation – Identifying mineral enrichments beneath glacial deposits in northeast Scotland utilising machine learning

The University of Aberdeen is an internationally recognised centre for excellence for research addressing the global challenges of energy transition, environment and biodiversity, social inclusion and cultural diversity, health, nutrition and wellbeing, and data and artificial intelligence. Read more

Waste-to-protein recovery through protein separation and purification

The plant-sourced and animal-sourced proteins are resource-demand and carbon-intensive. This combined with increasing protein demands highlight the complex challenge on providing protein security. Read more

Filtering Results