Das sind wir:

Am Lehrstuhl für Programmiersprachen und Künstliche Intelligenz (PLAI) des Instituts für Informatik der LMU, geleitet von Prof. Dr. Johannes Kinder, forschen wir an der Schnittstelle zwischen Softwaresicherheit, maschinellem Lernen und formalen Methoden. Wir sind ein Team mit internationaler Ausrichtung und suchen derzeit Verstärkung in allen unseren Forschungsbereichen.

Wir suchen Sie:

Wissenschaftlicher Mitarbeiter zur Promotion (m/w/d)

am Standort München

Das sind Ihre Aufgaben:

• Sie arbeiten selbstständig an Forschungsthemen und Projekten in den Forschungsbereichen des Lehrstuhls
• Sie publizieren und präsentieren Ihre Forschungsergebnisse auf einschlägigen internationalen Konferenzen
• Mitarbeit in der Lehre.

Das sind Sie:

• Überdurchschnittlicher Hochschulabschluss der Informatik oder einer verwandten Disziplin
• Interesse an IT-Sicherheit
• Sehr gute Programmierkenntnisse
• Sehr gute Englischkenntnisse in Wort und Schrift
• Ausgezeichnete Kommunikations- und Sozialkompetenz.

Das ist unser Angebot:

Eine typische Promotion in unserer Gruppe behandelt ein praxisrelevantes Thema aus dem Bereich der Softwaresicherheit. Die Wahl der Methoden reicht dabei von formaler Programmanalyse über Binary Reverse Engineering und Fuzzing zu maschinellem Lernen. In der konkreten Ausgestaltung des Themas sind Promovierende aber grundsätzlich frei. Aktuelle Forschungsthemen sind z. B.:

• Sichere Software-Lieferketten
• Large Language Models für Code (Quelltext und Maschinensprache)
• Automatisches Testen von JavaScript/node.js
• Sicherheit für Mobilgeräte und IoT
• Formale Analyse von Speculative Execution Angriffen.

Die Stelle ist zur Vorbereitung der Promotion zunächst auf ein Jahr befristet (mit dem Ziel der Verlängerung), die Eingruppierung erfolgt unter TV-L E13. Mittel für internationale Konferenzreisen und erstklassige Ausstattung sind vorhanden.

Das Institut für Informatik der Ludwig-Maximilians-Universität München liegt im Stadtzentrum direkt am Englischen Garten. Neben einem exzellenten Arbeitsumfeld mit weltweit führenden Forschungsgruppen in der Informatik selbst gibt es zahlreiche Möglichkeiten zu interdisziplinärer Arbeit mit den insgesamt 18 Fakultäten.

Für Promovierende bietet die LMU ein umfangreiches Programm an Fortbildungen und Hilfestellungen. Bei Interesse unterstützen wir auch gerne bei Internships und Forschungsaufenthalten in Industrie oder Academia.

Eine Teilzeitbeschäftigung ist grundsätzlich möglich.

Kontakt:

Interessiert? Dann senden Sie bitte Ihre Bewerbung in deutscher oder englischer Sprache an applications@plai.ifi.lmu.de mit folgenden Inhalten:

• Lebenslauf
• Motivationsschreiben mit Ihren Forschungsinteressen
• Schriftprobe, z.B. Masterarbeit
• Zeugnisse über Ihre Hochschulabschlüsse

Weitere Informationen zum Lehrstuhl finden Sie hier.

Bewerbungsschluss ist der 18.06.2023.

Wo Wissenschaft alles ist.

An der LMU arbeiten Wissenschaftlerinnen und Wissenschaftler auf höchstem Niveau an den Zukunftsfragen um Mensch, Gesellschaft, Kultur, Umwelt und Technologie, unterstützt durch kompetente Beschäftigte in Verwaltung, IT und Technik. Werden Sie Teil der LMU München!