Informatik, TU Wien

Open Position: Full Professor of Automated Program Reasoning

The TU Wien (Vienna University of Technology) invites applications for a full professorship at the Faculty of Informatics. Application Deadline: 16 May 2019.

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. 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.