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
-
chemical methods (beyond density functional theory); experience in theory development and applications to heterogeneous catalysis and complex reactive interfaces involving metal nanoclusters are essential
-
to, reviewing literature, carrying out and, where appropriate, designing research using recognised implementation science approaches, theories, methodologies and techniques within the research area and