30 proof-checking-postdoc-computer-science-logic Postdoctoral positions at DURHAM UNIVERSITY
Sort by
Refine Your Search
-
collaboration with external partners across EU. You will be expected to visit several of partner institutions in the course of your work and will be based in the Department of Computer Science at Durham
-
The Role The position is fixed term for up to 33 months and funded by the EPSRC Hub on the Mathematical and Computational Foundations of AI, titled "Mathematical Foundations of Intelligence
-
24 Mar 2025 Job Information Organisation/Company DURHAM UNIVERSITY Research Field Juridical sciences Sociology Ethics in social sciences Researcher Profile Recognised Researcher (R2) Established
-
6 Mar 2025 Job Information Organisation/Company DURHAM UNIVERSITY Research Field Engineering Physics Researcher Profile Recognised Researcher (R2) Established Researcher (R3) Country United Kingdom
-
Deadline 30 Mar 2025 - 00:00 (UTC) Type of Contract Other Job Status Full-time Is the job funded through the EU Research Framework Programme? Not funded by a EU programme Is the Job related to staff position
-
programmes in Sociology, Criminology and Social Work and supports the delivery of a faculty research methods programme as part of the collaborative NINEDTP. The Department's research strategy is built around
-
, flavour physics, model building, Monte Carlo simulations, precision standard model physics, neutrino physics, particle astrophysics, strong interactions and novel computational methods. They will have an
-
11 Mar 2025 Job Information Organisation/Company DURHAM UNIVERSITY Research Field Chemistry Researcher Profile Recognised Researcher (R2) Established Researcher (R3) Country United Kingdom
-
Business School's Smart & Scale initiative, an interdisciplinary impact-driven research programme in smart and scale-up activities focusing on innovation and business development of SMEs in the North-East of
-
research areas relevant to the project: solar magnetic field modelling, computational fluid dynamics, or solar observational data analysis. Working knowledge of at least one scientific computing environment