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
-
the development of hierarchical computational materials discovery schemes combining random structure searching, machine learning, atomistic, and density functional theory (DFT) calculations to accurately and
-
computerised cognitive training game for young people with ADHD (Attention Deficient Hyperactivity Disorder) into a market-ready product that can be delivered in schools. The project is a partnership between the
-
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 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
-
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
-
vibrant and multi-disciplinary. Our dynamic and collegial team is active in the fields of media and communication studies, film and television studies, journalism, mobile studies, and game studies. Our
-
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
-
into hydrogen and nitrogen under practical onboard conditions. Successful candidate will develop and apply computational methods, such as density functional theory based atomistic modelling and machine learning