70 proof-checking-postdoc-computer-science-logic PhD positions at University of Birmingham
Sort by
Refine Your Search
-
. Requirements: The candidate will have a 1st class undergraduate or Master’s degree (or equivalent) in Applied Mathematics, Physics, Aerospace Engineering, Mechanical Engineering, Computer Science, or a related
-
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
-
interactions into account with data-driven method. This research is inherently multidisciplinary, lying at the interface of fluid and solid mechanics, acoustics, and computing science. It will potentially
-
industrial-scale Positron Emission Particle Tracking, and cutting-edge Terahertz Raman spectroscopy. On the computational side, they will develop and apply a broad range of highly-transferrable digital tools
-
validation in representative environments. The successful candidate will gain expertise in electrochemical sensing, microengineering, and computational modelling, and will join an interdisciplinary research
-
within these data sets and determine if such surveillance programs can provide genomic epidemiological data. This project will suit anyone with a microbiology or computer science background and full
-
are the worst possible example because they are in no respects like sound and light; they have all the complications that waves can have.'' In the present day, the mathematical and computational study of water
-
, 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
-
Terahertz (THz) is a rapidly expanding field with notable importance for a myriad of disciplines such as physics, chemistry and biology. In the context of material science, optical-pump terahertz
-
programme) clearly stating the title of the project and the name of the supervisor, Dr. Miguel Navarro-Cía (m.navarro-cia@bham.ac.uk ). Funding notes: Applications are sought from highly motivated students