74 software-formal-method-phd PhD positions at University of Birmingham in United Kingdom
Sort by
Refine Your Search
-
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
-
Project Description: This EPSRC-funded PhD project will investigate how next-generation electric and autonomous vehicles can operate as symbiotic agents within the urban ecosystem—intelligently
-
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
-
control strategies integrating fuel, engine, electric machine, and energy recovery systems for improved overall efficiency. Validate the developed methods through experimental and simulation studies
-
Climate change is increasing the frequency of extreme rainfall and flooding, placing pressure on ageing wastewater systems and leading to the release of untreated sewage into rivers and homes. These events can reshape microbial communities and elevate the risk of human exposure to harmful...
-
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
-
There is widespread concern about the negative impacts of plastic and other anthropogenic solid waste (hereafter referred to as ‘plastics’) on global biodiversity (Law, 2017; Lau et al., 2020). Such materials are extremely slow to break down, which has resulted in discarded micro- and...
-
. 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
-
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...