[PlanetKR] PostDoc and PhD position (4 years) at TU Wien

[Thomas Eiter]

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

The Institute of Logic and Computation at TU Wien is hiring a postdoc and 
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 depends on experience but is expected to be 53,200 
EUR postdoc / 36,000 EUR PhD at least per annum before taxes. Hiring is 
from now, for a period of up to four years.

The positions are affiliated with the Knowledge-Based Systems Group (KBS) 
and the Database 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 at tuwien.ac.at>
    https://protect-au.mimecast.com/s/B7L4CNLJ8nfjrmxJtm0ZTF?domain=kr.tuwien.ac.at
and/or
    Nysret Musliu <nysret.musliu at tuwien.ac.at>
    https://protect-au.mimecast.com/s/g8AZCOMKZohv9mXlivSHk4?domain=dbai.tuwien.ac.at

----------------------------------------------------------------------
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://discuss.it.uts.edu.au/pipermail/planetkr/attachments/20191113/4b6b82f1/attachment.html