Full Professorship in Formal Foundations of AI, Vienna (Austria)

The TU Wien (Vienna University of Technology) invites applications for a Full Professor position at the Faculty of Informatics. 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.