53 software-formal-method-phd PhD positions at University of Birmingham in United Kingdom
Sort by
Refine Your Search
-
Listed
-
Category
-
Field
-
Atmospheric chemical processing determines the link between emissions to the air and atmospheric composition, which in turn affects climate and health. The biosphere is the largest source of organic compounds to the atmosphere, with trees dominating production of biogenic volatile...
-
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
-
also have to develop the theoretical methods to describe the up-conversion mechanism, and design new types of cavities that enhance its efficiency. The PhD candidate should have completed (or about to
-
: Typology, methods and futures. arXiv preprint arXiv:2409.19003. Han et al, 2022. Contribution of urbanisation to non-stationary river flow in the UK. Journal of Hydrology, 613. Nguyen et al, 2023. Climax: A
-
Great apes held in captivity need resilience: the ability to ‘bounce back’ following setbacks. This is particularly true for apes entering sanctuaries or rehabilitation centres, as they have usually endured traumatic conditions, including killing of their mother and separation from their social...
-
The marine biota provides an important component of our food systems, yet our knowledge of how many species are being harvested for human use is rather limited, especially among marine invertebrates. For example, marine bivalves – including the widely beloved scallops and oysters – are exploited...
-
Blue carbon ecosystems, such as coastal wetlands, saltmarshes and peatlands, store significant amounts of carbon through sequestration of atmospheric carbon dioxide. In fact, these ecosystems can store up to ten times more carbon per hectare than temperate forests, underscoring their strong...