Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
Dependent type theory is a foundation of mathematics that allows us to mechanise arguments, and is closely related to higher category theory. It serves as that basis of programming languages and
-
years. For more information please see the announcement of this initiative. The Centre will be the first overarching and integrative attempt to understand the relationships between slavery and war
-
years. For more information please see the announcement of this initiative. The Centre will be the first overarching and integrative attempt to understand the relationships between slavery and war
-
at Nottingham https://www.nottingham.ac.uk/coatings/ is an international reference for all Thermal Barrier Coating activities. This PhD programme, in partnership with Rolls-Royce, will address key challenges
-
This is a theoretical/computational postdoctoral position for the prediction and development of strongly correlated materials for use in quantum technologies. Project activities include
-
This is a theoretical/computational postdoctoral position for the prediction and development of point defects in two-dimensional materials for applications in quantum technologies. Project
-
& Clinical Neurosciences, School of Medicine. This is an NIHR-funded project that aims to develop and evaluate a cognitive screening pathway for people with multiple sclerosis (MS), and a neuropsychological
-
We are looking for a researcher, whose expertise lies in Number Theory and Modular Forms, to work with Dr. Fredrik Stromberg, on an EPSRC-funded project entitled “Explicit Methods for non
-
The University of Nottingham Veterinary School leads the way in teaching and research in the UK. The Teaching Associate will teach theory and practical skills across a range of topics including
-
network attractors, funded by The Leverhulme Trust. This is a brain inspired project in the field of Neurodynamics. Networks of oscillators are ideal candidates for modelling patterns of functional