zu besetzen.
Die Professur soll sich in Forschung und Lehre mit dem Bereich Programmiersprachen befassen, speziell mit Anwendungen der Kl auf Programmierung und Softwareentwicklung. Relevante Forschungsthemen sind unter anderem:
- Programmiersprachen
- Compilerbau
- Semantik von Programmiersprachen
- Debugging
- Anwendungsspezifische Sprachen
- Statische Code-Analyse
- Formale Methoden für Programmkorrektheit
Der Lehrstuhl ist für die Programmierausbildung in den Studiengängen der Informatik federführend verantwortlich.
Die Ludwig-Maximilians-Universität München (LMU) möchte eine hervorragend ausgewiesene Persönlichkeit gewinnen, die ihre wissenschaftliche Qualifikation im Anschluss an ein abgeschlossenes Hochschulstudium sowie eine überdurchschnittliche Promotion oder eine vergleichbare besondere Befähigung durch international sichtbare, exzellente Leistungen in Forschung und Lehre nachgewiesen hat.
Bei einer Einstellung im Beamtenverhältnis darf das 52. Lebensjahr zum Zeitpunkt der Ernennung noch nicht vollendet sein. In dringenden Fällen können hiervon Ausnahmen zugelassen werden.
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/md4 bis zum
28. November 2021 zu übermitteln.