Derzeit sind Stellen als Wissenschaftlichen Mitarbeiterin / Wissenschaftlichen Mitarbeiters (m/w/d) mit 100 Prozent der regelmäßigen Arbeitszeit zu besetzen.

Profil

Die Gruppe Software Engineering forscht zu verschiedenen Aspekten der mobilen und Browser-Sicherheit und zum Schutz der Privatsphäre sowie zugehöriger Programmanalysen. Zu den Themen von besonderem Interesse gehören Informationsflusskontrolle, statische Programmanalyse, Laufzeitüberwachung, Design von Programmiersprachen sowie Grundlagenforschung und angewandte Forschung für Android (Java) und JavaScript.

Voraussetzungen

Sie müssen einen universitären Master-Abschluss in Informatik oder eng verwandten Forschungsdisziplinen mit herausragenden Noten abgeschlossen haben (oder kurz davor stehen). Spitzenkandidatinnen bzw. Spitzenkandidaten können Wissen in den meisten der folgenden Bereiche nachweisen; Bewerberinnen und Bewerber mit Expertise in mindestens zwei Bereichen sollten sich bewerben:

• Programmanalyse (statisch / dynamisch)
• Compiler / Virtuelle Maschinen-Technologie
• Programmiersprachen und deren Semantik
• sprachbasierte Sicherheit oder
• interaktive Theorembeweiser

Für Rückfragen steht Ihnen Herr Professor Dr. Christian Hammer zur Verfügung.