78 formal-verification-computer-science Fellowship positions at University of Nottingham
Sort by
Refine Your Search
-
be close to completing a PhD in computer science, mathematics, or a related area with a topic close to type theory or constructive mathematics. Expertise can be evidenced through publications
-
Applications are invited from qualitative researchers with a PhD (or close to completion) for the position of Research Associate/Fellow within the School of Health Sciences. You will be part of a
-
The Optics and Photonics group at the Faculty of Engineering, has an opening for a Research fellow in our exciting project on the mechanical properties of cancer tissue. The project is based
-
University of Nottingham Ningbo China is seeking to recruit a Senior Research Fellow in Power Electronics and Electric Drives in the Department of Electrical and Electronic Engineering. Your
-
in adults with cerebral palsy; this project has been funded by NIHR Programme Development Grants. You will conduct a scoping review, recruit and interview participants, analyse qualitative data
-
The University of Nottingham is seeking to appoint an exceptional and motivated Senior Research Fellow to join the Digital Cancer Screening Research Group, led by Professor Yan Chen, within the School of Medicine. The group is internationally recognised for its work in the application of...
-
Applications are invited to the above role to support the principal investigator Professor Paul Dyer in conducting research in the area of fungal biology, specifically to investigate the sexual
-
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
-
This is a 7-month project funded by The Medical Research Foundation at the interface of cancer biology and neuronal function investigating how cancer and cancer chemotherapy impacts
-
-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