45 software-formal-method-phd PhD positions at University of Birmingham in United Kingdom
Sort by
Refine Your Search
-
This PhD project is at the intersection of electromagnetism, numerical methods, and high-performance parallel computing, with application towards the design and optimisation of integrated circuits
-
. Yet, many stellar and planetary parameters remain systematically uncertain due to limitations in stellar modelling and data interpretation. This PhD project will develop Bayesian Hierarchical Models
-
avenues by enabling chronic, gut-based monitoring of neuroendocrine activity for applications such as closed loop therapeutics. The proposed PhD project sits at the interface of biomedical engineering
-
Northwest Eurasia owes its anomalously temperate climate to the oceanic circulation cell known as the Atlantic Meridional Overturning Circulation (AMOC). Regional warmth is maintained by northward-flowing Atlantic surface currents – including the Gulf Stream – that lose their heat...
-
Global biodiversity targets are repeatedly not met despite increasing conservation efforts. While in some cases this is due to inappropriate interventions or external pressures, in other cases, this is due to time lags in species’ responses to conservation efforts. Ecological time lags occur...
-
methods to estimate food passage do not measure food directly, are impractical for many species, and often require unnatural conditions to administer. This new method directly measures the transit and
-
Fossil tracks and trackways (a type of trace fossil or ichnofossil) provide highly complementary information to the body fossil record. Tracks are more abundant than body fossils as organisms have one skeleton, but may leave many of tracks in their lifetime, often occur in stratigraphic levels...
-
between these molecules to engineer new quantum states. However, so far it is not well known how to achieve entanglement with molecules with such plasmonic systems. This PhD project will focus on developing
-
Join the University of Birmingham for groundbreaking PhD research to make 6G possible! Future radio communication systems (6G and beyond) will use frequencies above 100 GHz to achieve bit rates
-
. This PhD project will explore a novel approach: leveraging polymeric microelectromechanical systems (MEMS) technology to create a miniaturised micropump-based ingestible capsule that can actively deliver