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.

Links

• Full Announcement

Curious about our other news? Subscribe to our news feed, calendar, or newsletter, or follow us on social media.

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!