The applicant is required to have an outstanding academic record in the fields of Symbolic Artificial Intelligence and Knowledge Representation & Reasoning. In particular it is expected that he/she has made substantial scientific contributions to formal and logic-based approaches of Artificial Intelligence with a particular focus on computational aspects (complexity analysis, decomposition methods, argumentation, algorithm design, systems) and applications.
Besides research, the duties of a Full Professor at the TU Wien include graduate and undergraduate teaching (in English or German) as well as contributing to usual management and faculty service tasks.
Find the official announcement and information on how to apply here.
Application Deadline: May 16, 2019