Links und Funktionen

Sie sind hier: Startseite / News / Job offer: Full Professorship of Theoretical Computer Science


Job offer: Full Professorship of Theoretical Computer Science

As one of Europe’s leading research universities, Ludwig-Maximilians-Universität (LMU) in Munich is committed to the highest international standards of excellence in research and teaching. Building on its more than 500-year-long tradition, it offers a broad spectrum that covers all areas of knowledge within its 18 Faculties, ranging from the humanities, law, economics and social sciences, to medicine and the natural sciences.

The Faculty of Mathematics, Informatics and Statistics invites applications for a

Full Professorship (W3) of Theoretical Computer Science

commencing as soon as possible.

This professorship is dedicated, in research and teaching, towards Theoretical Computer Science, in particular applications of logic and/or type theory to programming and programming languages. Relevant areas of research are e.g.:

  • Type Theory and Functional Programming
  • Logic and Computer-Aided Reasoning
  • Automatic Theorem Proving, esp. SAT- and related Solvers
  • Foundations and Semantics of Programming Languages, esp. declarative languages
  • Logical and Programming Language Aspects of resources, security, privacy, side effects and concurrency

Prerequisites for this position are a university degree, a doctoral degree or a comparable specific qualification, teaching skills at university level, excellent academic achievements and a productive and promising research program.

LMU Munich makes a point of providing newly appointed professors with various types of support, such as welcoming services and assistance for dual career couples.

LMU Munich is an equal opportunity employer. The University continues to be very successful in increasing the number of female faculty members and strongly encourages applications from female candidates. LMU Munich intends to enhance the diversity of its faculty members. Furthermore, disabled candidates with essentially equal qualifications will be given preference.


Please submit your application comprising a curriculum vitae, documentation of academic degrees and certificates as well as a list of publications to the Dean of the Faculty of Mathematics, Informatics and Statistics, Prof. Dr. Volker Heun, Theresienstraße 39, 80333 Munich, Germany, no later than 1 February 2019. Please email the application also electronically to as one pdf‐file not greater than 10  MB.

Please also refer to the official job opening (in German).


Prof. Heinrich Hußmann