-
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
-
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
-
-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