100 proof-checking-postdoc-computer-science-logic Fellowship positions at University of Nottingham
Sort by
Refine Your Search
-
22 Nov 2025 Job Information Organisation/Company University of Nottingham Research Field Engineering » Biomedical engineering Engineering » Other Medical sciences » Other Researcher Profile
-
Gerada, the role holder will work with the academics, researchers and PhD students in managing and conducting research activities across the programme. Prior direct experience of successful PhD student
-
10 Oct 2025 Job Information Organisation/Company University of Nottingham Research Field Biological sciences » Other Chemistry » Other Computer science » Other Medical sciences » Other Physics
-
22 Nov 2025 Job Information Organisation/Company University of Nottingham Research Field Medical sciences » Other Neurosciences » Other Psychological sciences » Psychology Researcher Profile
-
computers”(under the UKRI Guarantee scheme). Topics include: - Quantum many-body dynamics - Quantum algorithms - Quantum-enhanced numerical methods - Quantum machine learning - Tensor Networks - Topological
-
translating research into real-world health benefit. You will develop expertise across epidemiology, building science, and exposure modelling — contributing to an ambitious international programme with direct
-
heat tolerance and future-proofed rice yields. The project is based in the laboratories of Prof Zoe Wilson and Erik Murchie (Sutton Bonington Campus, University of Nottingham, UK). Rice reproduction
-
outcomes over time using multi-state models, accounting for association amongst processes and across time. The role will involve both theoretical and computational model development, together
-
the applications of Machine Learning. Dr. Anthony Bellotti is Professor in the Department of Computer Science at UNNC. He received his PhD in machine learning from Royal Holloway, University of London
-
bioinformatics, computational biology, or a related field. Proficiency with Linux operating systems is essential, as is the ability to analyse and interpret large datasets and apply critical evaluation to current