56 proof-checking-postdoc-computer-science-logic PhD positions at University of Birmingham in United Kingdom
Sort by
Refine Your Search
-
Advances in manufacturing science have resulted in unprecedented research and development in the design of ‘micro-swimmers’: microscopic entities that navigate fluid environments by converting some
-
terahertz (THz) radiation and the collective vibrational modes of biological macromolecules is an emerging field in physical chemistry. Terahertz radiation can be exploited to studying spectroscopic and
-
matter, such as how droplets form, merge, and stay apart. This research not only deepens our understanding of chemistry but also supports the development of new materials, medicines, and environmentally
-
29 Sep 2025 Job Information Organisation/Company University of Birmingham Department Department of Dentistry, School of Health Science, University of Birmingham Research Field Medical sciences
-
been enhanced through predictive structural biology tools such as AlphaFold, which allow accurate prediction of effector structures from primary sequence. We recently identified a number of immune
-
. This project will develop a proof of concept ingestible device that attaches to the gut lining using microneedles for long term monitoring of luminal neurotransmitters. These microneedles will not just penetrate
-
predictive checking, model comparison) • Computational modelling with Python and Dynesty, JAX, NumPyro, and PyTorch • Use of asteroseismic and spectroscopic survey data (e.g. PLATO, Gaia, APOGEE, TESS) • High
-
This project is an exciting opportunity to undertake industrially linked research in partnership with the Manufacturing Technology Centre (MTC). It is an interdisciplinary PhD in Engineering from
-
validation in representative environments. The successful candidate will gain expertise in electrochemical sensing, microengineering, and computational modelling, and will join an interdisciplinary research
-
, which is currently supported by prestigious and large initiatives including QuSIT and a newly awarded Royal Academy of Engineering (RAEng) Research Chair on distributed radar systems. Finally, it will