Friday, April 21, 2017

[DMANET] postdoc mathematics of constraint satisfaction

----------------------------------------------------------------------------------------------
Postdoc position on mathematics of constraint satisfaction in Dresden
----------------------------------------------------------------------------------------------

A postdoc position will be available at the Institute of Algebra of TU Dresden,
supported by the ERC Consolidator Grant "CSP-Infinity" held by Manuel Bodirsky.
The goal of the project is to systematically study the computational complexity of CSPs for constraint languages over infinite domains.
Requirements for the candidate are a strong background in universal algebra, model theory, or theoretical computer science.
German skills are not required, and there are no teaching obligations.

The position is offered for three years; the starting date is flexible.
The monthly gross salary is around 3500 Euros,
and there will be generous travel support.
Applications should be sent in electronic form, including
a CV, publication list, motivation letter, and a copy or summary of the PhD thesis
(if not finished, a preliminary version),
to Manuel.Bodirsky@tu-dresden.de. Informal inquires by email are welcome.

For full consideration please apply before May 10.
**********************************************************
*
* 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/
*
**********************************************************