Merkliste (0) ZEIT Online
Karriere Kontakt Impressum Nutzungsbedingungen Datenschutz Jobnewsletter BOA Berufstest Mediadaten Cookies & Tracking

12 Stellenangebote zu
Informatik Professor/in Bayern Hochschule

  • Professur (W2) für Formale Methoden in der Informatik

    28.03.2019 Hochschule München (HM) München Professur (W2) für Formale Methoden in der Informatik - Hochschule München (HM) - Logo
  • Universitätsprofessur (W2) für Theorie verteilter und paralleler Systeme

    21.01.2021 Universität Augsburg Augsburg
  • Forschungsprofessur (W3) für "KI und Datenwissenschaft in der Medienproduktion"

    21.01.2021 Hochschule für Fernsehen und Film München München Forschungsprofessur (W3) für "KI und Datenwissenschaft in der Medienproduktion" - Hochschule für Fernsehen und Film München - Logo
  • Rudolf Mößbauer Tenure Track Assistant Professorships

    20.01.2021 Technical University of Munich (TUM) München Rudolf Mößbauer Tenure Track Assistant Professorships - Technical University of Munich (TUM) - Logo
  • Professur (W3) für Maschinelles Lernen, insbesondere Uncertainty Quantification

    18.01.2021 Universität Regensburg Regensburg Professur (W3) für Maschinelles Lernen, insbesondere Uncertainty Quantification - Universität Regensburg - Logo
  • Professur (W3) für Künstliche Intelligenz in der IT-Sicherheit

    18.01.2021 Universität Regensburg Regensburg Professur (W3) für Künstliche Intelligenz in der IT-Sicherheit - Universität Regensburg - Logo
  • Professur (W3) / Lehrstuhl für Biomedical Imaging

    18.01.2021 Universität Regensburg Regensburg Professur (W3) / Lehrstuhl für Biomedical Imaging - Universität Regensburg - Logo
  • Professur (W3) für Computational Immunology

    18.01.2021 Universität Regensburg Regensburg Professur (W3) für Computational Immunology - Universität Regensburg - Logo
  • Professuren in der Fakultät Technology and Engineering

    18.01.2021 Steinbeis-Hochschule deutschlandweit
  • Professur UX Design

    14.01.2021 IUBH Internationale Hochschule deutschlandweit
  • W2-Professur für GeoIT und Angewandte Geodäsie

    14.01.2021 Hochschule für angewandte Wissenschaften München München W2-Professur für GeoIT und Angewandte Geodäsie - Hochschule für angewandte Wissenschaften München - Logo
  • Professur (W2) Visual Computing

    07.01.2021 Ostbayerische Technische Hochschule Amberg-Weiden (OTH) Amberg
  • Professur im Dualen Studium - Wirtschaftsinformatik

    30.12.2020 IUBH Internationale Hochschule verschiedene Einsatzorte
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
Professur (W2) - Hochschule München - Logo




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.
Professur (W2) - Hochschule München - Logo
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
Professur (W2) - Hochschule München - Logo

Bewerten

Bewerten Sie hier Ihr Suchergebnis!
Vielen Dank für die Bewertung!
  • Karriere
  • Kontakt
  • Impressum
  • Nutzungsbedingungen
  • Datenschutz
  • Jobnewsletter
  • BOA Berufstest
  • Mediadaten
  • Cookies & Tracking
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.