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.
For a more detailed announcement and information on how to apply, see the attached announcement or visit www.informatik.tuwien.ac.at/vacancies.
Application Deadline: October 16, 2017