266 proof-checking-postdoc-computer-science-logic positions at University of Nottingham
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
The Mechanical and Aerospace Systems Research Group (MAS) requires a Senior Research Fellow who is experienced in the fields of solid mechanics and stress analysis to work across several industry relevant projects and for the development of future group research strategy. MAS has a large...
-
An exciting opportunity has arisen within the School of Veterinary Medicine and Science for an individual to join our Dissection & Surgery Team as a Support Technician. This role is essential in
-
The School of Life Sciences invites applications from friendly, engaging, and enthusiastic individuals to join its dedicated Anatomy Technical Team. The successful candidate will become part of a
-
manipulation of Pseudomonas aeruginosa and bacterial biofilms, including molecular biology such as the construction of reporter fusions, mutagenesis and transcriptomic analysis. Extensive experience in the study
-
About the role The role-holder will work dynamically within the Rights Lab’s Business and Economies programme on externally-funded research projects that focus on analysing human rights and modern
-
of total non-engagement and require checks to provide assistance with any wellbeing issues underscoring a period of prolonged disengagement. The role requires experience of working with large datasets and
-
of total non-engagement and require checks to provide assistance with any wellbeing issues underscoring a period of prolonged disengagement. The role requires experience of working with large datasets and
-
is looking for ambitious, talented academics with a passion for teaching as well as research flair to join its team of science and engineering experts. UNNC is part of the University of Nottingham’s
-
project which aims to understand which computational (reinforcement learning) mechanisms are engaged by different antidepressant treatments and through this improve targeting of future treatments for
-
to understand which computational (reinforcement learning) mechanisms are engaged by different antidepressant treatments and through this improve targeting of future treatments for clinical depression