53 software-formal-method-phd PhD positions at University of Birmingham in United Kingdom
Sort by
Refine Your Search
-
Listed
-
Category
-
Field
-
pathways, whilst their omission can introduce significant systematic biases in parameter estimation, detection pipelines, and tests of fundamental physics. In this PhD project, you will develop a
-
The construction industry accounts for 8–10% of global anthropogenic CO₂ emissions and faces significant challenges in achieving NetZero targets by 2050. This PhD project offers an exciting
-
enable by two-photon polymerisation 3D printing rationalizes the use of the powerful topological optimisation. The PhD candidate should have completed (or about to complete) their undergraduate degree in
-
problem is global in scope, affecting both developed and developing nations, and demands innovative, scalable solutions. This PhD project aims to revolutionize corrosion prediction by integrating physics
-
, few people are trained in its operation. This PhD project will involve training on, and the further development of native mass spectrometry technology. The student will operate within the Advanced Mass
-
elucidate novel interactions within critical signalling pathways and increase our understanding of signal transduction regulation of fundamental cellular processes. Funding notes: This is a PhD studentship
-
Gastrointestinal (GI) motility disorders such as IBS and postoperative ileus affect millions worldwide yet lack high-resolution diagnostics. Current tests are either indirect or use rigid manometry catheters that cannot measure the entire GI tract. Ingestible capsules offer a minimally invasive...
-
(TQFTs), to study non-perturbative aspects of QFT. Projects are available in the study of formal aspects of generalized symmetries, semiclassical study of monopoles, and the applications of generalized
-
the rich, unstructured information found in clinical notes and cannot effectively gather data on lifestyle and social determinants of health. This PhD project will pioneer a novel, hybrid AI framework
-
targeted health interventions and improve forecasting systems. This PhD will be embedded in a vibrant interdisciplinary environment at the University of Birmingham, with training provided through