37 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
-
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
-
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