Chair of Programming Languages and AI
print


Breadcrumb Navigation


Content

Postdoctoral Researchers – Deadline 18 June 2023

We are currently hiring postdoctoral researchers in software and system security, formal methods and machine learning. In our research, we employ a wide range of methods to solve problems in software systems that have real-world security implications.

Current topics of interest include but are not limited to:

  • Large language models for code (both source and binary)
  • Symbolic execution for JavaScript/node
  • Formal analysis of transient execution attacks
  • Reverse engineering for IoT
  • Software supply chain security

We are looking for fresh PhD graduates or experienced researchers interested in software security applications who will contribute their expertise to our group. To apply, you should have:

  • A PhD in Computer Science or a closely related discipline
  • Relevant international publications
  • Interest in security research
  • Strong programming skills
  • Excellent written and spoken English
  • Excellent communication and social skills
  • Experience in teaching is a plus

The position includes research and contributions to teaching, salary follows the pay scale TV-L E13 (about 52K-59K EUR annually, depending on experience). There is ample funding for conference travel and high-end equipment.

LMU Munich, founded in 1472, is one of the leading universities in Germany. The Institute of Informatics is situated in the city center, next to the English Garden. The institute offers not only an excellent working atmosphere with world-leading groups in computer science, but also many opportunities for interdisciplinary work among the 18 faculties of LMU. LMU Munich provides professional development and funding specifically aimed at postdocs, more details at https://www.lmu.de/de/die-lmu/arbeiten-an-der-lmu/wissenschaftlicher-nachwuchs/index.html

Interested? Please send your application by 18 June 2023 to applications@plai.ifi.lmu.de and include the following:

  • Academic CV with list of publications
  • Statement of research interests
  • Two references
  • Writing sample, e.g., PhD thesis or publications
  • Degree certificates

Official job posting (in German).