[ The Types Forum (announcements only),
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

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

Reply via email to