• Ratgeber nach Positionen
  • Promovieren
  • Postdoc-Ratgeber
  • Habilitation
  • Professur
  • Branchen-Ratgeber
  • Forschung & Entwicklung
  • Geisteswissenschaften
  • Ingenieurwissenschaften
  • Naturwissenschaften
  • Medizin
  • Pädagogik
  • Wirtschaft & Management
  • Themen-Ratgeber
  • Gehalt
  • Bewerbung
  • Service-Angebot
  • Online-Seminare
  • Karriereberatung
  • Promotions-Test
  • Nachwuchspreis
  • Arbeitgeber
  • Graduiertenschulen
  • Ratgeber-Übersicht
Promovieren Postdoc-Ratgeber Habilitation Professur
Forschung & Entwicklung Geisteswissenschaften Ingenieurwissenschaften Naturwissenschaften Medizin Pädagogik Wirtschaft & Management
Gehalt Bewerbung
Online-Seminare Karriereberatung Promotions-Test Nachwuchspreis Arbeitgeber Graduiertenschulen Ratgeber-Übersicht
Merkliste (0)
Über uns Karriere Kontakt Impressum Nutzungsbedingungen Datenschutz Partner Jobnewsletter BOA Berufstest Mediadaten academics.com Cookies & Tracking

17 Stellenangebote zu
Informatik Professor/in Bayern Hochschule

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

    02.08.2018 Hochschule München (HM) München Professur (W2) für Formale Methoden in der Informatik - Hochschule München (HM) - Logo
  • Professur UX Design

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

    14.01.2021 Hochschule für angewandte Wissenschaften München München Professur (W2) für GeoIT und Angewandte Geodäsie - Hochschule für angewandte Wissenschaften München - Logo
  • 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 (W3) für Philosophie, Informatik und Künstliche Intelligenz

    01.01.2021 Universität Bayreuth Bayreuth
  • Professur im Dualen Studium - Wirtschaftsinformatik

    30.12.2020 IUBH Internationale Hochschule verschiedene Einsatzorte
  • Professur KI-gestützte Luftfahrttechnik und Produktentwicklung (Forschungsprofessur)

    23.12.2020 Technische Hochschule Ingolstadt Ingolstadt
  • Professur Innovative Mobilitätskonzepte und Geschäftsmodelle der KI (Forschungsprofessur)

    23.12.2020 Technische Hochschule Ingolstadt Ingolstadt
  • Professur Kommunikationsnetze und Cybersicherheit

    23.12.2020 Technische Hochschule Ingolstadt Ingolstadt
  • Professur Biomedizinische Informatik

    23.12.2020 Technische Hochschule Ingolstadt Ingolstadt
  • Professur (W2) Verteilte Systeme und mobile Anwendungen

    23.12.2020 Technische Hochschule Aschaffenburg Aschaffenburg
  • Professur (W1) im Themenfeld Daten, Sensoren und Geräte / Digitale Transformation (Open Topic Tenure Track)

    23.12.2020 Friedrich-Alexander Universität Erlangen-Nürnberg (FAU) Erlangen
  • Rudolf Mößbauer Tenure Track Assistant Professorships

    23.12.2020 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

    21.12.2020 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

    21.12.2020 Universität Regensburg Regensburg Professur (W3) für Künstliche Intelligenz in der IT-Sicherheit - Universität Regensburg - Logo
  • Professur (W3) für Computational Immunology

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

    21.12.2020 Universität Regensburg Regensburg Professur (W3) / Lehrstuhl für Biomedical Imaging - Universität Regensburg - Logo
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
02.08.2018
Bewerbungsfrist
15.09.2018
Vollzeit-Stelle
Hochschule München (HM)
Zum Arbeitgeberprofil
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.
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

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 die Professur gilt:
  • Lehrveranstaltungen aus verwandten Gebieten, auch in anderen Fakultäten, sind gegebenenfalls zu übernehmen.
  • Es wird vorausgesetzt, dass die Bereitschaft und Fähigkeit vorhanden ist, Lehrveranstaltungen auch in englischer Sprache anzubieten.
  • Zum Aufgabengebiet gehört die aktive Mitarbeit an der Weiterentwicklung des Fachgebiets, an der Internationalisierung der Fakultät und in der Selbstverwaltung der Hochschule. Darüber hinaus wird Engagement bei Projekten der angewandten Forschung und im Bereich des Technologie- und Wissenstransfers erwartet.
Einstellungsvoraussetzungen:
  • Abgeschlossenes Hochschulstudium
  • Pädagogische Eignung, der Nachweis hierzu ist u. a. durch eine Probelehrveranstaltung zu erbringen.
  • Besondere Befähigung zu wissenschaftlicher Arbeit, die durch eine Promotion oder durch ein Gutachten über promotionsadäquate Leistungen nachgewiesen wird.
  • Besondere Leistungen bei der Anwendung oder Entwicklung wissenschaftlicher Erkenntnisse und Methoden in einer mindestens fünfjährigen beruflichen Praxis, die nach Abschluss des Hochschulstudiums erworben sein muss und von der mindestens drei Jahre außerhalb des Hochschulbereichs ausgeübt worden sein müssen. Der Nachweis der außerhalb des Hochschulbereichs ausgeübten beruflichen Praxis kann in besonderen Fällen dadurch erfolgen, dass über einen Zeitraum von mindestens fünf Jahren ein erheblicher Teil der beruflichen Tätigkeit in Kooperation zwischen Hochschule und außerhochschulischer beruflicher Praxis erbracht wurde.
Die Hochschule München fördert die berufliche Gleichstellung von Frauen und strebt insbesondere im wissenschaftlichen Bereich eine Erhöhung des Frauenanteils an. Frauen werden daher ausdrücklich zur Bewerbung aufgefordert.
In das Beamtenverhältnis kann berufen werden, wer das 52. Lebensjahr noch nicht vollendet hat, ansonsten erfolgt eine Einstellung im Angestelltenverhältnis. Schwerbehinderte werden bei ansonsten im Wesentlichen gleicher Eignung, Befähigung und fachlicher Leistung bevorzugt eingestellt.
Wenn Sie sich für eine Professur berufen fühlen, freuen wir uns auf Ihre aussagefähige Bewerbung mit den erforderlichen Bewerbungsunterlagen in Kopie.
Diese senden Sie bitte per E-Mail oder per Post bis zum 15.09.2018 unter Angabe der o. g. Kennziffer an die Personalabteilung der Hochschule München.
Bewerbungen per E-Mail senden Sie bitte im PDF-Format als eine Datei
an professur-bewerbung@hm.edu.
Postanschrift:
Hochschule für angewandte Wissenschaften München
Personalabteilung, Lothstraße 34, 80335 München
Kontakt:
Bewerbermanagement, Tel.: 089/1265-4845
Logo

www.hm.edu

Bewerten

Bewerten Sie hier Ihr Suchergebnis!
Vielen Dank für die Bewertung!
  • Über uns
  • Karriere
  • Kontakt
  • Impressum
  • Nutzungsbedingungen
  • Datenschutz
  • Partner
  • Jobnewsletter
  • BOA Berufstest
  • Mediadaten
  • academics.com
  • Cookies & Tracking
Hinweise zum Datenschutz
Die Verwaltung Ihrer Datenschutzeinstellungen für academics 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.