Professur für Theoretisch Informatik

Ludwig Maximilians Universität München

W3-Professur für Theoretisch Informatik (Lehrstuhl)

Einrichtung: Fakultät für Mathematik, Informatik und Statistik
(Institut für Informatik)

Besetzungsdatum: zum nächst möglichen Termin

Ende der Bewerbungsfrist: 17.01.2021

Die Ludwig-Maximilians-Universität München (LMU) ist eine der renommiertesten und größten Universitäten Deutschlands.

Aufgaben

Die Professur soll sich in Forschung und Lehre mit der theoretischen Informatik befassen, speziell mit Anwendungen von Logik und/oder Typtheorie auf Programmierung und Programmiersprachen. Relevante Forschungsthemen sind unter anderem:

• Typtheorie und funktionale Programmierung
• Logik und rechnergestütztes Beweisen
• Automatisches Theorembeweisen, wie z.B. SAT- und verwandte Solver
• Grundlagen und Semantik von Programmiersprachen, insb. deklarativer Sprachen
• Logische und programmiersprachliche Aspekte von Ressourcen, Security, Privacy, Seiteneffekten, Concurrency

Anforderungen

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.

Schwerbehinderte Personen werden bei ansonsten im Wesentlichen gleicher Eignung bevorzugt.

Bewerbungsadresse

Bewerbungen mit den üblichen Unterlagen (Lebenslauf,
Zeugnisse, Urkunden, Schriftenverzeichnis) sind beim
Dekan der Fakultät für Mathematik,Informatik und Statistik
Prof. Dr. Göran Kauermann,
Ludwig-Maximilians-Universität
Theresienstr. 39
80333 München
einzureichen. Es wird gebeten, die Unterlagen auch in elektronischer Form als ein PDF-File (nicht größer als 10 MB) an dekanat16@lmu.de zu senden.
E-Mail: dekanat16@lmu.de

Ansprechpartner/in

Prof. Dr. Dirk Beyer

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.
Bewerben