Sort by
Refine Your Search
-
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
-
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
-
the development of hierarchical computational materials discovery schemes combining random structure searching, machine learning, atomistic, and density functional theory (DFT) calculations to accurately and
-
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
-
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
-
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
-
-network theory, assemblages, processual ontologies, regulation and governance). This project benefits from proximity to Prof Tomczak's international prison HEALTH research group, along with its location
-
modules: Introduction to Law and Legal Theory Law of Contract Public Law Foundations of Tort Land Law Criminal Law Law of Trusts and can lead or contribute to optional undergraduate and postgraduate modules