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
-
/ ) The Research Associate/ Fellow is expected to develop novel theoretical approaches to describing interfacial chemical reactions and transport phenomena focusing on catalytic activity and selectivity of different
-
Fellow post applicants must have some experience of qualitative and basic quantitative research methods and theories as well as expertise in analysing qualitative data, literature reviewing and some