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.

Wenn Sie sich für die Professur berufen fühlen, freuen wir uns auf Ihre aussagefähige Bewerbung, über unser Online-Portal unter https://stellen.hm.edu/jobposting/c1ce4cab745bb71713db3107c54827cc2041807e
bis zum 22.04.2019.

Weitere Informationen, insbesondere zu den Einstellungsvoraussetzungen und den erforderlichen Bewerbungsunterlagen, entnehmen Sie bitte der Homepage unter: https://www.hm.edu/allgemein/job_karriere/professuren.de.html

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