Full professorship in "Computer Aided Verification" (succeeding Helmut Veith) at TU Wien

by Laura Kovacs, Aug. 10, 2017

The TU Wien (Vienna University of Technology) invites applications for a full professorship according at the Faculty of Informatics. The position is affiliated to the Institute of Information Systems. The candidate will become the head of the already existing and valid established research group Formal Methods in Systems Engineering, previously headed by
Helmut Veith. The estimated starting date is
October 1, 2018.

The application deadline is October 16, 2017.


The applicant is required to have an outstanding academic record in the field of Computer Aided Verification (CAV). Correctness, safety, and reliability of electronic systems are paramount in today’s software-controlled world. The focus of the professorship on CAV will be on automated techniques to verify soft- and hardware. Besides a proven ability in CAV core methods (Computational Logic, Theoretical Computer Science), the candidate will also have a strong inter-disciplinary background, especially in relation to Embedded Information Systems, Software Verification, Synthesis or Distributed Algorithms. This position will strengthen the area of Logic and Computation as well as form a link to other research foci of the faculty. Duties include teaching informatics curricula courses (in English or German) as well as supervising graduates and PhD students working on their theses. The professor is expected to contribute to usual management and faculty service tasks.

The appointment will be made at tenure level, full time and permanent. If this is a candidate’s first appointment as a full professor, the initial appointment is for 5 years and will then be made permanent following a positive evaluation.

The TU Wien is among the most successful technical universities in Europe and it is Austria’s largest scientific-technical research and educational institution. The Faculty of Informatics, one of the eight faculties at the TU Wien, plays an active role in national and international research and has an excellent reputation. The main areas of research include Logic and Computation, Computer Engineering, Distributed and Parallel Systems, Media Informatics and Visual Computing, as well as Business Informatics.

Details on the application (requirements) are available at:


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: October 16, 2017