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 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 email@example.com
Nysret Musliu firstname.lastname@example.orgContinue reading
|Title||PhD position (4 years) at TU Wien|
|Employer||Vienna University of Technology|
|Job location||Karlsplatz 13, 1040 Vienna|
|Published||June 5, 2020|
|Job types||PhD  |
|Fields||Algorithms,   Logic,   Artificial Intelligence,   Programming Languages,   Computational Mathematics,   Machine Learning  |