Professorship of Formal Foundations of Artificial Intelligence, Vienna (Austria)

The Vienna University of Technology intends to appoint a Professor of Formal Foundations of Artificial Intelligence at the Faculty of Informatics for a 5 year term. The applicant is required to have an outstanding academic record in the field of Artificial Intelligence, Knowledge Representation and 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 (such as complexity analysis, algorithm design and systems).

Applications must be received before 19 March, 2014. For more information, see http://www.informatik.tuwien.ac.at/news/861 or http://www.informatik.tuwien.ac.at/ffai