[DMANET] PhD position (4 years) at TU Wien

***************************************************
PhD position (4 years) at TU Wien
***************************************************

The Institute of Logic and Computation at TU Wien is hiring
a PhD student for a research collaboration with industry in the area of
knowledge representation and reasoning. The goal of this collaboration is
to advance the use of logic-based tools and methods for solving real-world
problems with innovative technologies.

Topics of particular interest for the collaboration are scheduling,
combining machine learning and symbolic reasoning, context-based
reasoning, answer set programming, and explanation finding.

Candidates for the position should have a solid background in knowledge
representation and reasoning, logic-based AI, planning and scheduling,
answer set programming, or logic programming at large.

The salary depends on experience but is expected to be
36,000 EUR at least per annum before taxes. Hiring is
from now, for a period of up to four years.

The position is affiliated with the Knowledge-Based Systems Group (KBS)
and the Databases and AI Group (DBAI) of the Institute, under the lead of
Prof. Thomas Eiter and PD Dr. Nysret Musliu.

Interested candidates should contact:

Thomas Eiter <thomas.eiter@tuwien.ac.at>
http://www.kr.tuwien.ac.at/staff/eiter/
and/or
Nysret Musliu <nysret.musliu@tuwien.ac.at>
https://www.dbai.tuwien.ac.at/staff/musliu/

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