52 proof-checking-postdoc-computer-science-logic PhD positions at University of East Anglia in Uk
-
, 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
-
targeted must be extremely potent and are often natural products that, on their own, are too toxic to be used. In this project, we will use synthetic chemistry, both in solution and on solid phase, to design
-
on such jets — although their detailed properties remain unexplored. In this project, we will develop new computational methods to compute and characterize these novel wave solutions, with particular emphasis
-
-Markovianity. For sufficiently Markovian systems, the photon-photon correlations can be computed using the quantum regression theorem together with a Lindblad equation for atomic ensembles or a HEOM model of a
-
Primary supervisor - Dr Myriam Charpentier Are you passionate about plant biology, endosymbiosis, system biology or bioengineering? Join a cutting-edge research project exploring how plants
-
that benefit fitness in the opposite sex. You will receive outstanding interdisciplinary training in computational biology, experimental genetics, and molecular biology. The supervisory team offers expertise
-
small elements of computational chemistry (electronic structure calculations) to help interpret experimental observations, supported by local and national supercomputing facilities. Entry Requirements
-
across different imaging devices, including future sensors with unknown spectral sensitivities. Training The student will be based at the Colour & Imaging Lab at the School of Computing Sciences which has
-
in RNA biology, biochemistry, and Oxford Nanopore sequencing. The Norwich Research Park Biosciences Doctoral Training Programme (NRPDTP) is offering fully funded studentships for October 2025 entry