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
-
code for experiment control, data acquisition, and data analysis. They will be expected to work effectively with Dr. Smith, collaborators, other group members and contribute to the dissemination
-
of linear wave equations and boundary element techniques as well as their high-frequency approximations. Furthermore, the candidate will be expected to extend the existing code in order to apply the developed
-
to include: Conducting, coding, and analysing key informant interviews focused on justice system performance and confidence Disseminating, processing, and analysing key informant surveys focused on justice