[TYPES/announce] PhD and Postdoc positions in PL/FM/Security at LMU Munich, Germany

[Johannes Kinder]

The Programming Languages and Artificial Intelligence group at LMU Munich ( https://urldefense.com/v3/__https://plai.ifi.lmu.de__;!!IBzWLUs!RRIN8iSp_lhTwFhKvuooaMcKn3m1dk8tOFcgzw4U8Y5L_0gIeKYDJIt-CkO0zKObrml-KujmgeE692zHpwKtcg7Z0b_E0fb87oTqaLz2$  <https://urldefense.com/v3/__https://plai.ifi.lmu.de/__;!!IBzWLUs!RRIN8iSp_lhTwFhKvuooaMcKn3m1dk8tOFcgzw4U8Y5L_0gIeKYDJIt-CkO0zKObrml-KujmgeE692zHpwKtcg7Z0b_E0fb87tzXO96o$ > ), led by Johannes Kinder, is currently hiring PhD students and postdocs 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:
- Software supply chain security
- Symbolic execution for JavaScript/node
- Formal analysis of transient execution attacks
- Binary reverse engineering for IoT devices
- Large language models for code (both source and binary)
- Language-based security

Your profile:
- A PhD or MSc in Computer Science or a closely related discipline
- Relevant international publications (for postdoc)
- Interest in security research
- Strong programming skills
- Excellent written and spoken English
- Excellent communication and social skills

The positions include 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. If interested, we will support you in looking for internships and research visits both with industry and academia. 

LMU Munich, founded in 1472, is one of the leading universities in Germany. The Institute for 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.

Interested? Please send your application by 18. June 2023 to applications at plai.ifi.lmu.de and include the following:
- Academic CV with list of publications
- Statement of research interests
- Two references (for postdoc)
- Writing sample, e.g., MSc thesis or publication
- Degree certificates and transcript of records