Professur für Informatik mit Schwerpunkt Zuverlässige Software

An der Fakultät für Mathematik, Informatik und Statistik ist zum nächstmöglichen Zeitpunkt eine Professur (W2) auf Zeit (6 Jahre/tenure track) für Informatik mit Schwerpunkt Zuverlässige Software zu besetzen.

Die Professur soll sich in Forschung und Lehre mit der Entwicklung zuverlässiger Software, auch für Cyber-Physical-Systems, und den dazu nötigen Grundlagen, Methoden und Werkzeugen befassen.

Relevante Forschungsthemen sind unter anderem:

• Formale Methoden
• Statische Analyse
• Testmethoden, z.B. mit Fuzzing oder Machine-Learning
• Model-Checking
• Empirische Methoden
• Strukturanalyse
• Anwendung von Methoden aus der künstlichen Intelligenz auf die Softwaretechnik, z.B. zur Beweisunterstützung

Die Ludwig-Maximilians-Universität München (LMU) wendet sich mit dieser Ausschreibung insbesondere an hochqualifizierte Nachwuchswissenschaftler und Nachwuchswissenschaftlerinnen (m/w/d), die im Anschluss an ein abgeschlossenes Hochschulstudium sowie eine überdurchschnittliche Promotion oder eine vergleichbare besondere Befähigung durch ihre Leistungen in Forschung und Lehre ein außerordentliches Potenzial für eine weitere Karriere in der Wissenschaft nachgewiesen haben.

Die Berufung erfolgt bei Vorliegen der beamtenrechtlichen Voraussetzungen in einem Beamtenverhältnis auf Zeit für die Dauer von sechs Jahren. Bei positiver Evaluation der fachlichen, pädagogischen und persönlichen Eignung kann das Beamtenverhältnis auf Zeit frühestens nach drei Jahren in ein Beamtenverhältnis auf Lebenszeit umgewandelt werden.

Im Rahmen des LMU Academic Career Program besteht in besonderen Ausnahmefällen und bei herausragenden Leistungen in Forschung und Lehre die Möglichkeit einer späteren Anhebung der Professur von W2 nach W3.

Die LMU strebt eine Erhöhung des Anteils der Frauen in Forschung und Lehre an und bittet deshalb Wissenschaftlerinnen nachdrücklich, sich zu bewerben.

Die LMU bietet Unterstützung für Doppelkarriere-Paare an.

Schwerbehinderte Personen werden bei im Wesentlichen gleicher Qualifikation bevorzugt.

Kontakt

Bewerbungen mit den üblichen Unterlagen (Lebenslauf, Zeugnisse, Urkunden, Schriftenverzeichnis, Vorträge, Lehre und 3-5 Publikationen) sind, bitte ausschließlich in elektronischer Form in einer zusammenhängenden PDF-Datei, nicht größer als 10 MB, an den Dekan Prof. Dr. Peter Müller, Fakultät für Mathematik, Informatik und Statistik, Ludwig-Maximilians-Universität München, über den folgenden Link https://www.efv.verwaltung.uni-muenchen.de/md3 bis zum 28. November 2021 zu übermitteln.

Im Rahmen Ihrer Bewerbung auf eine Stelle an der Ludwig-Maximilians-Universität München (LMU) übermitteln Sie personenbezogene Daten. Beachten Sie bitte hierzu unsere Datenschutzhinweise gemäß Art. 13 Datenschutz-Grundverordnung (DSGVO) zur Erhebung und Verarbeitung von personenbezogenen Daten und die Datenschutzerklärung der LMU für den Internetauftritt. Durch die Übermittlung Ihrer Bewerbung bestätigen Sie, dass Sie die Datenschutzhinweise und die Datenschutzerklärung zur Kenntnis genommen haben und mit der Datenverarbeitung im Rahmen des Auswahlverfahrens einverstanden sind.