An der Fakultät für Mathematik, Informatik und Statistik ist zum nächstmöglichen Zeitpunkt eine
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.
Schwerbehinderte werden bei ansonsten im Wesentlichen gleicher Eignung bevorzugt.
Die LMU bietet Unterstützung für Doppelkarriere-Paare an.
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.