[ The Types Forum (announcements only),
The TU Wien (Vienna University of Technology) invites applications for a full
professorship according to § 98 University Act 2002 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 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
interdisciplinary 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.
The Faculty of Informatics offers
- Excellent working conditions in an attractive research environment.
- An attractive salary, including additional contributions to a pension fund.
- Additional financial research support during the first few years (equipment
- Support for relocating to Vienna (if required).
- A position in a city with an exceptional quality of life.
For a more detailed announcement and information on how to apply, see the
attached announcement or visit
Application Deadline: October 16, 2017