Das Karriereportal für Wissenschaft & Forschung von In Kooperation mit DIE ZEIT Forschung und Lehre

Bitte beachten Sie: Diese Stellenanzeige ist nicht mehr aktiv.

Aber schauen Sie doch einmal bei unseren aktuellen Stellen aus Wissenschaft und Forschung, denn academics bietet die größte Auswahl an Stellenangeboten und Jobs in Wissenschaft, Forschung und Entwicklung. Um weitere Stellenangebote per E-Mail zu erhalten, erstellen Sie Ihr persönliches Suchprofil.

 
Announcement of an open position at the Faculty of Informatics, TU Wien, Austria

FULL PROFESSORSHIP of COMPUTER AIDED VERIFICATION

(Successor of Helmut Veith)

The TU Wien (Vienna University of Technology) invites applications for a full professorship at the Faculty of Informatics.

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.

We offer excellent working conditions in an attractive research environment in a city with an exceptional quality of life.

For a more detailed announcement and information on how to apply, please go to: http://www.informatik.tuwien.ac.at/vacancies

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

Bewerbungsschluss: 16.10.2017
Bewerbungsschluss: 16.10.2017 Erschienen in DIE ZEIT vom 27.07.2017
Bitte beziehen Sie sich in Ihrer Bewerbung auf  academics

Weitere aktuelle Stellenangebote