Studentische Beschäftigung mit 80/60 Monatsstunden - FG Software and Embedded Systems Engineering

Ihre Aufgaben

Wir suchen Unterstützung für das Forschungsprojekt "Timed Automata Analysis through Pattern-based Integer-time Reasoning" (TAPIR) in der Software and Embedded Systems Engineering Gruppe mit folgenden Aufgaben:

• Unterstützung beim Entwurf, der Entwicklung und der Optimierung eines Softwaretools zur automatischen Verifikation von Opacity-Eigenschaften auf Timed Automata Modellen in C++ (60%)
• Unterstützung bei der Entwicklung von praktischen Fallstudien von Timing Attacks (30%)
• Unterstützung bei der Aufbereitung der Projekt- und Forschungsergebnisse (10%)

Ihr Profil

Muss-Kriterien:

• Immatrikulation an einer deutschen Hochschule (keine aktuelle Beurlaubung)
• Grundkenntnisse in der Software Entwicklung mit C++
• Grundkenntnisse in der theoretischen Informatik (insbesondere Automatentheorie)
• Bereitschaft den überwiegenden Teil der Arbeitsleistung vor Ort auf dem Campus der TU Berlin zu erbringen
• Gute Deutsch- und/oder Englischkenntnisse erforderlich; Bereitschaft, sich die jeweils fehlenden Sprachkenntnisse anzueignen

Kann-Kriterien:

• Grundkenntnisse im Bereich des wissenschaftlichen Arbeitens
• Zuverlässigkeit und Teamfähigkeit
• Selbstständige Arbeitsweise

Um für den Auswahlprozess berücksichtigt werden zu können, senden Sie bitte Ihre vollständige Bewerbung unter Angabe der Kennziffer per E-Mail zusammengefasst in einer PDF-Datei.