Deadline: June 16, 2008
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.
Note: This is one of the thousands of items we imported from the old website. We’re in the process of reviewing each and every one, but if you notice something strange about this particular one, please let us know. — Thanks!