Informatics, TU Vienna

Full Professor (tenured) in Computer-Aided Verification

Announcement of an open position at the Faculty of Informatics, Vienna University of Technology

The successful candidate will undertake research and teaching in the area of computer-aided verification (CAV) as well as build up and lead a research group in the Institute of Information Systems. This position will extend the area of Computational Logic in the Informatics Faculty as well as form a link to other groups in Computer Science (in particular in the area of Computer Engineering). Hence, 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 or distributed algorithms.