[TYPES/announce] Open position: Professorship of COMPUTER AIDED VERIFICATION at TU Wien (successor of Helmut Veith)

[Maffei Matteo]

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

- 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 www.informatik.tuwien.ac.at/vacancies<http://www.informatik.tuwien.ac.at/vacancies>.

Application Deadline: October 16, 2017
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20170808/f3a2fbf3/attachment-0001.html>