40 proof-checking-postdoc-computer-science-logic Postdoctoral positions at DURHAM UNIVERSITY
Sort by
Refine Your Search
-
The Role This position is funded by EPSRC New Investigator Award: "Distributed Lov sz Local Lemma", principal investigator Dr. Peter Davies-Peck. The successful applicant will conduct research into algorithms for the Lov sz Local Lemma and related problems in distributed and parallel models....
-
18 Feb 2025 Job Information Organisation/Company DURHAM UNIVERSITY Research Field Computer science Researcher Profile Recognised Researcher (R2) Established Researcher (R3) Country United Kingdom
-
1 Mar 2025 Job Information Organisation/Company DURHAM UNIVERSITY Research Field Computer science Mathematics Researcher Profile Recognised Researcher (R2) Established Researcher (R3) Country
-
The Role Applications are invited for a Postdoctoral Research Associate in Computer Science with a particular emphasis on Mathematical and Complexity-theoretic aspects of Constraint Satisfaction
-
17 Feb 2025 Job Information Organisation/Company DURHAM UNIVERSITY Research Field Computer science Mathematics Researcher Profile Recognised Researcher (R2) Established Researcher (R3) Country
-
The Role Applications are invited for a Postdoctoral Research Associate in Computational and Theoretical Chemistry with a particular emphasis on the statistical mechanics of liquid-solid interfaces
-
position within a Research Infrastructure? No Offer Description The Role Applications are invited for a Postdoctoral Research Associate in Computational and Theoretical Chemistry with a particular emphasis
-
The Role This post holder will be responsible to develop next generation non-terrestrial networking (NTN) technologies and demos , including satellite, UAV-based edge computing, integrated sensing
-
5 Mar 2025 Job Information Organisation/Company DURHAM UNIVERSITY Research Field Chemistry Researcher Profile Recognised Researcher (R2) Established Researcher (R3) Country United Kingdom
-
Focus Areas: Synthesis, Catalysis and Process; Sustainable and Resilient (Bio) Chemistry; Materials Discovery; Theory, Computational and Data-Led Chemistry, Soft Matter, Polymers and Interfaces; Chemical