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
-
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
-
-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
-
-lab.org ) is part of a major research centre in computational neuroscience at the University of Nottingham, which includes the teams of Professors Mark van Rossum (Psychology), Stephen Coombes (Mathematical
-
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
-
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 development of hierarchical computational materials discovery schemes combining random structure searching, machine learning, atomistic, and density functional theory (DFT) calculations to accurately and
-
scientific articles for publication in leading peer-reviewed journals. Candidates must hold, or be about to obtain, a PhD in engineering, applied mathematics or a related subject area, with a major component
-
Research Associate/Fellow position at the School of Mathematical Sciences, Nottingham, for the duration of 3 years. The project deals with the development of mathematical tools and models to determine the
-
the results of this project. Candidates must possess a good first Degree (or Master's) and PhD (or near competition) in Engineering, Mathematics, Physics, Computer Science, or related disciplines. Your working