104 proof-checking-postdoc-computer-science-logic Fellowship positions at University of Nottingham
Sort by
Refine Your Search
-
each year. Please check role profile for further information. For informal inquiries, please contact David Bates - david.bates@nottingham.ac.uk . Please note that applications sent directly to this e
-
6 Dec 2025 Job Information Organisation/Company University of Nottingham Research Field Computer science » Other Mathematics » Statistics Medical sciences » Other Researcher Profile Recognised
-
explore and develop new types of memristors that can be switched both optically and electronically, therefore opening the route to new applications in computer vision. The position will be based in
-
22 Nov 2025 Job Information Organisation/Company University of Nottingham Research Field Engineering » Biomedical engineering Engineering » Other Medical sciences » Other Researcher Profile
-
10 Oct 2025 Job Information Organisation/Company University of Nottingham Research Field Biological sciences » Other Chemistry » Other Computer science » Other Medical sciences » Other Physics
-
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
-
22 Nov 2025 Job Information Organisation/Company University of Nottingham Research Field Medical sciences » Other Neurosciences » Other Psychological sciences » Psychology 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
-
. UNNC’s undergraduate programme of Business Administration was launched in 2004 and the doctoral programme in 2009. The subject has been listed among the world’s top academic subjects by Shanghai Ranking
-
computers”(under the UKRI Guarantee scheme). Topics include: - Quantum many-body dynamics - Quantum algorithms - Quantum-enhanced numerical methods - Quantum machine learning - Tensor Networks - Topological