Sort by
Refine Your Search
-
Listed
-
Field
-
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
-
project to reveal the interaction of galaxies and their cosmic web environment with hydrodynamic simulations based on our new SWIFT code and COLIBRE, a novel state-of-the-art galaxy formation model. You
-
-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
-
their application clearly which they are familiar with and their degree of expertise). Experience of geo-coded data analyses and Propensity Score Matching would also be relevant. Expert interviews will also form part
-
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