Announcement of an open position at the Faculty of Informatics, TU Wien, 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 area of Automated Program Reasoning. In particular it is expected that he/she has made substantial scientific contributions to formal and logic-based approaches, by favorably using automated theorem proving, symbolic computation, and/or formal methods.

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

Applications (in English) should be sent to the Dean of the Faculty of Informatics, Prof. Dr. Hannes Werthner, in digital form as a single pdf file to: dekanat@informatik.tuwien.ac.at

Application Deadline: May 16, 2019