Bitte beachten Sie: Diese Stellenanzeige ist nicht mehr aktiv.
Entdecken Sie hier weitere Stellenanzeigen auf academics, dem führenden Stellenmarkt für Wissenschaft und Forschung. Um regelmäßig per E-Mail über passende Stellen informiert zu werden, können Sie sich jederzeit kostenlos registrieren.
Full Professorship of Automated Program Reasoning
Veröffentlicht am
17.04.2019
Bewerbungsfrist
16.05.2019
Vollzeit-Stelle
Vienna University of Technology
Wien (Österreich)
Announcement of an open position at the Faculty of Informatics,
TU Wien, Austria
FULL PROFESSOR
of
AUTOMATED PROGRAM REASONING
The TU Wien (Vienna University of Technology) invites applications for a Full
Professor position at the Faculty of Informatics.
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.
Applications (in English) should be sent to the Dean of the Faculty of
Informatics, Prof. Dr. Hannes Werthner, in digital form as a single pdf file to: dekanat@informatik.tuwien.ac.at
Application Deadline: May 16, 2019
Bewerten
Bewerten Sie hier Ihr Suchergebnis!
Vielen Dank für die Bewertung!
Hinweise zum Datenschutz
Die Verwaltung Ihrer Datenschutzeinstellungen kann aktuell nicht ausgespielt werden. Bitte prüfen Sie, ob Sie einen Adblocker, Pop-Up-blocker oder ähnliches verwenden und schalten Sie diese aus. Anschließend können Sie die Einstellungen zum Datenschutz vornehmen.
Genaue Informationen zur Nutzung Ihrer Daten finden Sie in unserer Datenschutzerklärung.