52 software-formal-method-phd PhD positions at University of Birmingham in United Kingdom
Sort by
Refine Your Search
-
Listed
-
Category
-
Field
-
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
-
cankers in AOD. Project Aims: To address this hypothesis, the PhD will explore the interplay between sulphur metabolism and microbiome dynamics in oak (Quercus robur) through the following objectives: 1
-
Island organisms worldwide show similarity in morphology and ecology, despite being separated by vast geographic and phylogenetic distances – a biogeographic pattern known as the ‘island syndrome(s)’. It is thought to arise from the combined effects that island area and isolation have on...
-
We invite applications for a fully funded PhD studentship (3.5 years) hosted by the University of Birmingham and conducted in collaboration with the UK Met Office. This project is ideal for
-
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
-
, this PhD project will get an answer much more quickly by exploiting the adjacent Iceland Ice Sheet (IIS) as a GIS analogue. The IIS also advanced rapidly from the uplands to the coast after the MPWP
-
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