Continue with FacebookLooking to list your PhD opportunities? Log in here.
formal method PhD Projects, Programmes & Scholarships
We have 32 formal method PhD Projects, Programmes & Scholarships
PhD saved successfully
Verification of Matching Algorithms for Social Welfare
Matching is a fundamental problem in combinatorial optimisation with multiple applications in AI, like in belief propagation [10], multi-agent resource allocation algorithms [6], and constraint solving [16], and in economics, like the stable marriage problem [17] and the Adwords market [15], among many other applications. Read more
A robust and accurate facial 3D reconstruction method from images acquired by mobile devices at home for facial growth monitoring
Diseases affecting facial growth require highly accurate facial 3D scan to diagnose, monitor and plan treatment of the condition. Read more
Maths4DL PhD project: Applications of Stochastic Differential Equations in Data Science
The Department of Mathematical Sciences at the University of Bath is inviting applications from excellent candidates for a PhD studentship in the EPSRC Programme Grant EP/V026259/1 on the “Mathematics of Deep Learning” (Maths4DL). 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
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
Last chance to apply
(A*STAR) An intelligent technique for Condition Monitoring and Fault Diagnosis of Automotive Alternator using Vibration and Electrical Current Signature Analysis
Alternators are the major components of any industry which influence the production and power generation process. The faults in alternators may lead to expensive and catastrophic failures, which not only affect the manufacturers but also to the users. Read more
Last chance to apply
(A*STAR) The synergy of capillary-mediated printing and post-printing treatments for additive manufacturing of functional magnesium components
The role of magnesium is crucial the in context of light weighting and its demand is rapidly growing, particularly in the automotive industry where weight reduction is key to enhancing vehicle energy efficiency. Read more
Last chance to apply
(A*STAR) Novel optimisation framework for optimal design, planning and scheduling of modular manufacturing plants in chemical and biochemical industries
Due to increasing global competition, today’s chemical and biochemical industry is facing shorter product lifecycle and volatile market challenges. Read more
Unprecedented approach for the synthesis of N-CF3 amides and lactams
A 3.5 year fully-funded PhD position is available in the group of. Dr Mark Greenhalgh. at the University of Warwick. The position will remain open until filled, so if interested please get in touch at your earliest convenience. Read more
Optimising the Mechanical Performance of 3D Printed Alloys Using Advanced Experimental and Computational Techniques
Additive manufacturing (AM), also known as 3D printing, is a novel method of making three dimensional (3D) components in layer by layer fashion. Read more
Sustainable Chemicals Innovations Enabling Net Carbon Emissions (SCIENCE) : fully funded PhD studentship, School of Chemistry, University of Nottingham
A PhD studentship working with Dr Anabel Lanterna is available for a 2023 start as part of a major collaboration with Lubrizol. The project will develop a culture of embedding sustainability in chemicals and polymer manufacturing from the earliest stages of design through to industrial production and use. Read more
Menstrual cycle management in female athletes
A PhD scholarship is available to initiate and conduct research on the topic 'Menstrual cycle management in female athletes’. Project Supervisor. Read more
Last chance to apply
Design of nanofibre based adsorbents for extracellular vesicle isolation
Supervisors. Primary Supervisor. Professor Daniel G. Bracewell, UCL. Industrial Supervisor. TBD. About the Project. Background. Extracellular vesicles (EVs) are nature’s vectors to shuttle information in multicellular environments. Read more
Medicine Counterfeiting and Population Safety
In October 2022 at least 69 children died unexpectedly from acute kidney injuries in the West African nation of Gambia. A common element linking all these children was the intake of paracetamol containing products for the treatment of fever, cough, cold and pain. Read more
Co-creating value: through the eyes of public service users
Glasgow Caledonian University, The Glasgow School for Business and Society. Glasgow School for Business and Society | Glasgow Caledonian University | Scotland, UK (gcu.ac.uk). Read more