[DMANET] Open PhD Position in Computer Science at Jönköping University

Jönköping University advertises one (1) position as PhD student in Computer Science, in collaboration with the laboratory of theoretical computer science, Linköping university. The PhD student will join a research project situated at the intersection of artificial intelligence, complexity theory, and universal algebra, directed by Johannes Schmidt (Jönköping university) and Victor Lagerkvist (Linköping university). In short, the task is to study fine-grained complexity of NP-hard problems of interest in nonmonotonic reasoning, by constructing fast (but likely superpolynomial) algorithms, proving lower bounds under reasonable conjectures in complexity theory, and adapt and develop the influential algebraic approach based on the existence of (partial) symmetries of relations.

The application deadline is April 17. For further information visit https://ju.varbi.com/se/what:job/jobID:601050/where:4/
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* 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.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************