62 proof-checking-postdoc-computer-science-logic PhD positions at University of Birmingham
Sort by
Refine Your Search
-
critical mass on distributed radar, which is currently supported by prestigious and large initiatives including QuSIT and a newly awarded Royal Academy of Engineering (RAEng) Research Chair on distributed
-
for candidates with a background in meteorology, climatology, physics, engineering and any related discipline, and a strong interest in applying advanced physical and computational methods to real-world
-
candidates with a background in meteorology, climatology, physics, and any related discipline, and a strong interest in applying advanced physical and computational methods to real-world challenges in the area
-
of mostly water and molecules such as proteins, lipids and sugars that decay every day, so we eat and sleep to restore daily our cell biology. Synapses and changes in cell shape are made and unmade every day
-
-informed machine learning (PIML) with domain-specific engineering knowledge. By embedding physical laws and corrosion mechanisms into data-driven models, the research will produce more accurate
-
of mostly water and molecules such as proteins, lipids and sugars that decay every day, so we eat and sleep to restore daily our cell biology. Synapses and changes in cell shape are made and unmade every day
-
International Ocean Discovery Program (IODP) Expedition 395 (June-August 2023), has shown tipping point behaviour during the Pliocene in the deep-water return flow of the AMOC (Sinneseal et al. 2025). The aim
-
please visit: https://warwick.ac.uk/fac/cross_fac/mibtp/ or https://www.birmingham.ac.uk/about/college-of-life-and-environmental-sciences/midlands-integrative-biosciences-training-partnership How to apply
-
autophagy and the innate immunity response. Using cutting-edge omics (transcriptomics/proteomics), advanced imaging (confocal) and cellular biology approaches (macrophages, autophagy biomarkers), this project
-
candidate with a strong quantitative background (e.g., in computer science, statistics, bioinformatics). The following skills are essential for this project: Excellent programming skills in Python. Proven