Informatics, TU Vienna

Open position: PROFESSORSHIP of FORMAL FOUNDATIONS OF ARTIFICIAL INTELLIGENCE

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). Experience in university teaching as well as experience in raising funds and in managing scientific research projects is highly appreciated.

We offer excellent working conditions in an attractive research environment in a city with an exceptional quality of life.

For a more detailed announcement and information on how to apply, go to www.informatik.tuwien.ac.at/ffai.

Applications should be sent to the Dean of the Faculty of Informatics, Prof. Dr. Gerald Steinhardt, in digital form (a single pdf file).