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
-
leverage advanced bespoke continuum robotic systems to demonstrate the feasibility of applying the proposed coatings can be deployed in-situ. Ultimately, this work bridges the gap between the theory
-
of Nottingham as part of the new Centre, alongside further role recruitment at King’s College London . At Nottingham, the roles are: Research Fellow in Slavery and War (Concepts and Theories) Research Fellow in
-
of Nottingham as part of the new Centre, alongside further role recruitment at King’s College London . At Nottingham, the roles are: Research Fellow in Slavery and War (Concepts and Theories) Research Fellow in
-
the development of hierarchical computational materials discovery schemes combining random structure searching, machine learning, atomistic, and density functional theory (DFT) calculations to accurately and
-
include density functional theory (DFT) and higher level methods to accurately screen new systems based on their optoelectronic and vibrational properties. The role holder will develop and apply
-
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
-
Nair, whose main areas of research interest include applying psychological and neuropsychological theories to better understand and treat psychological issues stemming from neurological conditions. This
-
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
-
which can change over time, depending on neural activity. Incorporating the dynamics of the state-dependent delays will require the development of new tools for coupled oscillator theory in time-delayed