We have 40 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 40 formal method PhD Projects, Programmes & Scholarships

Information Leakage Control in Machine Learning Models for Privacy Assurance

These projects are open to students worldwide, but have no funding attached. Therefore, the successful applicant will be expected to fund tuition fees at the relevant level (home or international) and any applicable additional research costs. Read more

Leveraging AI and Machine Learning to Develop an Efficient Smart Contract Vulnerability Detection Method

In recent years, blockchain technology has become a source of new hope with its broad spectrum of applications, e.g., finance, health care, supply-chain management or intrusion detection, to name a few. Read more

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

Filtering Results