LUDWIG MAXIMILIANS UNIVERSITAET MUENCHEN

Full Professorship (W3) of Theoretical Computer Science (Chair)

Location
Munich (Stadt), Bayern (DE)
Salary
W3
Posted
03 Dec 2020
End of advertisement period
17 Jan 2021
Contract Type
Permanent
Hours
Full Time

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
(Chair)

commencing as soon as possible.

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

  • 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.uLMU Munich makes a point of iproviding 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. Göran Kauermann, Ludwig-Maximilians-Universität, Theresienstraße 39, 80333 Munich, Germany, no later than 17th January 2021. Please also mail the application electronically to dekanat16@lmu.de as one pdf-file, not greater than 10 MB.u

Similar jobs

Similar jobs