43 proof-checking-postdoc-computer-science-logic PhD positions at University of Nottingham in United Kingdom
Sort by
Refine Your Search
-
Supervised by: Rasa Remenyte-Prescott (Faculty of Engineering, Resilience Engineering Research Group) Aim: Develop a mathematical model for obsolescence modelling for railway signalling and telecoms
-
2025 start, hosted at the University of Nottingham within the Department of Chemical and Environmental Engineering and School of Pharmacy. The project will focus on the synthesis of polymers that resist
-
for understanding natural magmatic processes on earth & other planetary bodies. Neutron diffraction is a powerful technique for studying the atomic scale structure of these materials, but the current technology to
Searches related to proof checking postdoc computer science logic
Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic positions