Postdoctoral Researcher

We are hiring a postdoctoral researcher in software and system security or formal methods. 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:

• Symbolic execution for JavaScript/node
• Formal analysis of transient execution attacks
• Program analysis to aid reverse engineering of IoT devices
• 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 an application and include:

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