249 proof-checking-postdoc-computer-science-logic positions at University of Nottingham
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
strategies. The University of Nottingham is leading a large programme grant ‘Public Health Intervention Responsive Studies Team’, funded by the NIHR until 2027. PHIRST-LIGHT is a collaboration between the
-
Engineering BEng degree apprenticeship programme. About the role: The role is an Assistant Professor - teaching focused role, and involves teaching in a hybrid manner on the apprenticeship programme – both face
-
. The Research Associate/Fellow will be a human computer interaction (HCI) specialist in qualitative (interview) data collection, analysis, and sensemaking. They should also have a broad understanding of
-
The School of Mathematical Sciences has recently secured a £500k grant to redevelop our undergraduate degree programmes for the age of AI. We are looking for a Teaching Associate in the School
-
-holomorphic Hilbert Modular Forms”. The central aim of the project is to develop explicit algorithms for computing with non-holomorphic Hilbert Modular Forms and using these algorithms together with theoretical
-
We are now recruiting 2 full time Research Fellows to work with Stephen Farrall and colleagues at Warwick (Emily Gray) and Queen Mary College, University of London (Maria Grasso) on their research into politics and crime. The research is funded by the Leverhulme Trust. The School and the...
-
of Medicine) – neil.nixon@nottingham.ac.uk Funded by the Mental Health Mission, Office for Life Sciences/NIHR, as a single PhD Studentship Award, we have a fully funded (stipend at UKRI rates, PhD fees (for UK
-
PhD studentship: Improving reliability of medical processes using system modelling and Artificial Intelligence techniques Supervised by: Rasa Remenyte-Prescott (Faculty of Engineering, Resilience
-
psychological or behavioural research and/or science communication and/or law and crime (desirable). About the University Our University is a supportive, inclusive, caring and positive community. We warmly
-
Eng at Nottingham https://www.nottingham.ac.uk/coatings/ is an international reference for all Cold Spray based activities. BAE systems provide some of the world's most advanced, technology-led