50 proof-checking-postdoc-computer-science-logic PhD positions at University of East Anglia
Sort by
Refine Your Search
-
devastating fungal disease of cereals, Blast (caused the pathogen Magnaporthe oryzae). The studentship will involve techniques including molecular biology, biochemistry, structural biology, AI-led computational
-
supervision across the Schools of Chemistry, Pharmacy & Pharmacology and of Environmental Sciences, gaining experience in both laboratory and computational approaches. You will benefit from two 3-months
-
knowledge of mathematical logic or Galois theory or algebraic geometry. Knowledge of model theory would be an advantage but is not essential. They are advised to contact Dr Kirby directly to discuss their
-
Primary supervisor - Dr Julea Butt This exciting project will engineer light-driven microreactors converting nitrate to ammonia thereby delivering proof-of-principle for a sustainable technology
-
capabilities to match the real outcome as closely as possible. Entry Requirements Acceptable first degree - Computer Science, Engineering, Physics or Mathematics. The standard minimum entry requirement is 2:1
-
programming skills in Python/MATLAB, and an interest in digital twin technologies, cybersecurity and machine learning. Entry Requirements Acceptable first degree: Computer Science or related disciplines
-
confined battery geometries. Advanced modelling—including computational fluid dynamics (CFD) and transient thermal analysis—is required to accurately capture heat flux distributions, temperature uniformity
-
of short-axis MR image sequences. Training You will be based at the Vision Computing Lab within the School of Computing Sciences, which specializes in deep learning for medical image analysis and neural
-
, and edge computing, AASs are evolving into smart, interconnected solutions for addressing the dynamic challenges of modern cities. This project investigates how to coordinate these multifunctional
-
futures have been generated by governments, businesses and NGOs, but whilst all agree that substantial and rapid changes will be necessary, these visions typically focus narrowly on either the new