Open Position: Full Professor of Automated Program Reasoning
The TU Wien (Vienna University of Technology) invites applications for a full professorship at the Faculty of Informatics. Application Deadline: 16 May 2019.
The applicant is required to have an outstanding academic record in the area of Automated Program Reasoning. In particular it is expected that he/she has made substantial scientific contributions to formal and logic-based approaches, by favorably using automated theorem proving, symbolic computation, and/or formal methods. Besides research, the duties of a Full Professor at the TU Wien include graduate and undergraduate teaching (in English or German) as well as contributing to usual management and faculty service tasks.
Find the official announcement and information on how to apply here.
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!