Monday, April 23, 2018

[DMANET] PhD position in computational complexity of constraint satisfaction at Linköping University

The Department of Computer and Information Science (IDA) at Linköping
University, Sweden, invites applications for up to two (2) positions
as PhD student in Computer Science. These are positions within the
AI-Math Graduate School of the Wallenberg Artificial Intelligence,
Autonomous Systems and Software Program WASP (

The PhD positions are within a project that focuses on methods for
analysing the computational complexity of constraint satisfaction problems
(CSP). CSPs are an important class of computational problems with a wide
range of applications within computer science, artificial intelligence,
and mathematics. The computational complexity of CSPs has been intensively
studied during the last decades, and several breakthrough results have
recently been obtained. These results are to a large extent based on
utilising methods from universal algebra and mathematical logic. The
project aims at developing new mathematical methods for analysing the
computational complexity of CSP problems over infinite domains---such
problems have very interesting applications within AI. A slightly more
informative project description can be found here:

Professor Peter Jonsson ( is the leader
of the project and questions may be sent directly to him
(email: Applicants should have strong backgrounds
in computer science and mathematics. In particular, a strong interest
in discrete mathematics, logic, and computational complexity is desirable.
The project is primarily oriented towards theoretical work.

More information about the positions and the application procedure
can be found here:

The deadline for application is May 18, 2018 and successful candidates
are expected to start in the autumn of 2018.

* Contributions to be spread via DMANET are submitted to
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.