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.
Professur (W2) für Formale Methoden in der Informatik
Veröffentlicht am
28.03.2019
Bewerbungsfrist
22.04.2019
Vollzeit-Stelle
Hochschule München (HM)
München
Die Hochschule München ist eine der größten Hochschulen für angewandte Wissenschaften
in Deutschland. Wir sehen unsere Herausforderung und Verpflichtung in einer aktiven
und innovativen Zukunftsgestaltung durch Lehre, Forschung und Transfer.
Die Zusammenarbeit mit Partnern aus Wirtschaft und Gesellschaft ist für uns von zentraler Bedeutung.
Für die nachstehend aufgeführte Professur in der Fakultät für Informatik und
Mathematik, die zum Wintersemester 2019/2020 oder später zu besetzen ist, wird
eine wissenschaftlich ausgewiesene Persönlichkeit gesucht, die umfassende
praktische Erfahrungen in verantwortlicher Position außerhalb einer Hochschule
erworben hat und diese nun in Lehre und angewandter Forschung an unsere
Studierenden weitergeben möchte.
W2-Professur für Formale Methoden in der Informatik (m/w/d)
Kennziffer: 0765
Das Lehrgebiet umfasst den Einsatz formaler Methoden zur statischen Analyse und Verifikation unter Einbezug der „Abstrakten Interpretation“.
Die Bewerberin/ Der Bewerber soll das „Model Checking“ als auch die Semantik klassischer, eventuell auch funktionaler, Programmiersprachen beherrschen.
Besondere Relevanz hat der Praxisbezug dieser Methoden, der durch entsprechende eigene Erfahrungen nachzuweisen ist und auf einer geeigneten, tool-gestützten
Basis gemeinsam mit der Theorie im Rahmen entsprechender Lehrveranstaltungen zu vermitteln ist. Die Übernahme von Grundlagenveranstaltungen im Bereich theoretische
und praktische Informatik wird vorausgesetzt.
Für Auskünfte stehen wir Ihnen unter unserer Bewerberhotline gerne zur Verfügung: Tel.: 089 1265-4845
Hochschule München, Organisation und Personal,
Lothstraße 34, 80335 München
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.