- Ratgeber nach Positionen
- Promovieren
- Postdoc-Ratgeber
- Habilitation
- Professur
5 Stellenangebote zu
Informatik Professor/in Österreich Hochschule
-
Full Professorship of Automated Program Reasoning
-
University Professorship for the specialist field of Software Engineering
-
Assistant / Associate Professorship - Machine Learning and Data Science Department of Network and Data Science
-
University Professor (f/m/d) for the specialist field of Enterprise and Process Engineering
-
Lehrstuhl für E-Health und Digitalisierung in der Medizin
-
Hochschullehrer (m/w/d) Wirtschaftsinformatik Schwerpunkt Integrierte Informationssysteme und IT-Management mit Karriereoption Professur (FH)
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
Bewerbungsfrist
Vollzeit-Stelle
FULL PROFESSOR of AUTOMATED PROGRAM REASONING
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.
For a more detailed announcement and information on how to apply, please go to: http://www.informatik.tuwien.ac.at/vacancies
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