Full Professor (tenured) in Computer-Aided Verification
Zusammenfassung
| Was | Full Professor (tenured) in Computer-Aided Verification |
|---|---|
| Link | http://www.informatik.tuwien.ac.at/CAV_dt.pdf |
Details
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.
Application Deadline: June 16, 2008.
A more detailed announcement and information on how to apply can be found at http://www.informatik.tuwien.ac.at/CAV_en.pdf in English and at http://www.informatik.tuwien.ac.at/CAV_dt.pdf in German.