Postdoctoral Research Associate in Computer Science

2 Mar 2024
Job Information

Organisation/Company

DURHAM UNIVERSITY

Research Field

Computer science

Researcher Profile

Recognised Researcher (R2)
Established Researcher (R3)

Country

United Kingdom

Application Deadline

1 Apr 2024 - 00:00 (UTC)

Type of Contract

Other

Job Status

Full-time

Is the job funded through the EU Research Framework Programme?

Not funded by an EU programme

Is the Job related to staff position within a Research Infrastructure?

No

Offer Description

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 Problems (CSPs). The research project is the EPSRC-funded "Promise Constraint Satisfaction Problems: Structure and Complexity", led by Professor Andrei Krokhin. The aim of the project is to understand the mathematical structure of Promise CSPs that makes them easy or hard from the algorithmic point of view. This project is particularly suitable for researchers in mathematics and theoretical computer science looking to expand their expertise into a new exciting area of much international interest.

The CSPs are very general combinatorial problems that can be expressed in many different ways: for example, via logic (e.g. logical satisfiability problems), combinatorics (e.g. graph homomorphisms), or algebra (e.g. systems of equations over a field). Such problems can have different computational complexity (e.g. polynomial-time solvable or NP-hard), and the question how exactly the inherent mathematical structure of problems affects the complexity is the essence of the project. There are many mathematical approaches that can be used in this research -- recent examples include universal algebra, logic and model theory, combinatorics and graph theory, algebraic topology and topological combinatorics, combinatorial optimisation, category theory, matrix analysis, and Boolean function analysis. The successful applicant will use their own mathematical background, possibly in combination with some of the existing approaches, to assist the project team in developing a new mathematical theory of Promise CSPs, a recently proposed generalisation of the standard CSPs.

This post is fixed term for 36 months, as funding is available for this period only.

Requirements
Additional Information
Work Location(s)

Number of offers available

1

Company/Institute

DURHAM UNIVERSITY

Country

United Kingdom

City

Durham, United Kingdom

Geofield

Where to apply

Website

https://www.timeshighereducation.com/unijobs/listing/366519/postdoctoral-resear…

Contact

City

Durham, United Kingdom

STATUS: EXPIRED