- Ratgeber nach Positionen
- Promovieren
- Postdoc-Ratgeber
- Habilitation
- Professur
13 Stellenangebote zu
Informatik Professor/in Bayern Hochschule
-
Professur (W3) für Theoretische Informatik (Lehrstuhl)
-
Universitätsprofessur (W2) für Theorie verteilter und paralleler Systeme
-
Forschungsprofessur (W3) für "KI und Datenwissenschaft in der Medienproduktion"
-
Rudolf Mößbauer Tenure Track Assistant Professorships
-
Professur (W3) für Maschinelles Lernen, insbesondere Uncertainty Quantification
-
Professur (W3) für Künstliche Intelligenz in der IT-Sicherheit
-
Professur (W3) / Lehrstuhl für Biomedical Imaging
-
Professur (W3) für Computational Immunology
-
Professuren in der Fakultät Technology and Engineering
-
Professur UX Design
-
W2-Professur für GeoIT und Angewandte Geodäsie
-
Professur (W2) Visual Computing
-
Professur (W3) für Philosophie, Informatik und Künstliche Intelligenz
-
Professur im Dualen Studium - Wirtschaftsinformatik
Bitte beachten Sie: Diese Stellenanzeige ist nicht mehr aktiv.
Entdecken Sie hier weitere Stellenanzeigen auf academics, dem führenden Stellenmarkt für Wissenschaft und Forschung. Um regelmäßig per E-Mail über passende Stellen informiert zu werden, können Sie sich jederzeit kostenlos registrieren.
Professur (W3) für Theoretische Informatik (Lehrstuhl)
Veröffentlicht am
Bewerbungsfrist
Vollzeit-Stelle
Professur (W3) für Theoretische Informatik (Lehrstuhl)
zu besetzen.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, insbesondere deklarativer Sprachen
- Logische und programmiersprachliche Aspekte von Ressourcen, Security, Privacy, Seiteneffekten, Concurrency
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) sind bis zum 17. Januar 2021 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.