266 proof-checking-postdoc-computer-science-logic positions at University of Nottingham
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
Programme. The NBRC is a partnership between Nottingham University Hospitals NHS Trust and the University of Nottingham funded by National Institute for Health and Care Research (NIHR). The mission
-
Music Studies’ (Level 1), ‘Aesthetics of Electronic and Computer Music’ (Level 1), ‘The Broadway Musical’ (Levels 2 and 3), ‘Music and War’ (Levels 2 and 3), and ‘Hollywood Musical’ (Levels 2 and 3). You
-
EPSRC Doctoral Landscape Award: Embedded power electronics converters design for future electric vehicles Applicants are invited for a 4-year EPSRC Doctoral Landscape Award PhD programme, co
-
Media (HELM) team in the School of Health Sciences , University of Nottingham. The HELM team comprises academics and learning technologists and have an international reputation for e-learning development
-
participate in the dissemination of findings through publications and conferences. Qualifications: Completed or nearing completion of a Master's degree in Medicinal Chemistry, Chemical Engineering, or a related
-
/Fellow who can deliver the research whilst helping to manage project delivery. Candidates must hold an appropriate engineering or science degree level qualification and a PhD (or be about to obtain a PhD
-
potential to present your work at conferences and to develop future funding applications. Tasks will include anaesthetising mice (to allow hearing-loss induction via noise exposure), performing health checks
-
-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
-
Technology, The University of Nottingham. Applicants are invited to undertake a three-year PhD programme in partnership with industry to address key challenges in on-platform manufacturing engineering. The
-
roles and excellence in research delivery are essential to ensure that processes and routines are fit for purpose, legally compliant, and supportive of a culture of care, while enabling the highest