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

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.


Wenn Sie sich auf diese Stelle bewerben, erwähnen Sie bitte dass Sie sie auf Universitoxy gesehen haben.

Bewerbung

Mehr

FACEBOOK
TWITTER
LINKEDIN

Hochschule Augsburg Stellenausschreibungen

Hochschule Flensburg Wissenschaftliche Stellen

Hochschule Fulda Offene Stellen

Hochschule Osnabrück Stellenausschreibungen

Universität Augsburg Wissenschaftliche Stellen

Universität Bayreuth Akademische Stellen

Universität Duisburg Essen Offene Stellen

Universität Erfurt Wissenschaftliche Stellen

Universität Hamburg Stellenangebote fur Professuren

Universität Leipzig Wissenschaftliche Stellen

Universität Münster Wissenschaftliche Stellen

Universität Salzburg Stellenausschreibungen

Universität Tübingen Stellenausschreibungen

Universität Zürich Offene Stellen

Universität zu Köln Stellenausschreibungen