Professur für Theoretisch Informatik
Ludwig Maximilians Universität München
Deutschland
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
• 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.
Bitte beziehen Sie sich in Ihrer Bewerbung auf AkademischeStellen.com
