[DMANET] Fully funded PhD position at TU Wien

There is an opening for a fully funded research assistant position (PhD student) at the Algorithms and Complexity group at TU Wien, Vienna, Austria. The following are some possible research topics:

* Studying the parameterized complexity of problems arising in Logic and AI
* Solving combinatorial problems via SAT encodings or related methods
* Speeding up algorithms with machine-learning methods.

For further details and on how to apply, see: https://www.ac.tuwien.ac.at/jobs/#szeider19

--
Stefan Szeider (Prof.)
Algorithms and Complexity Group
TU Wien, Vienna, Austria
www.ac.tuwien.ac.at

**********************************************************
*
* 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/
*
**********************************************************