3 Stellen – Studentische Beschäftigung mit 80/60 Monatsstunden

Fakultät IV - Elektrotechnik und Informatik, Institut für Softwaretechnik und Theoretische Informatik – FG Software and Embedded Systems Engineering

3 Stellen – Studentische Beschäftigung mit 80/60 Monatsstunden

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

Hinweise zur Bewerbung

Unter dem Vorbehalt der Mittelbewilligung

Fachlich verantwortlich / Ansprechpartner:in für die Ausschreibung: Herr Klein - Jetzt bewerben

Besetzungszeitraum: 01.01.2027 befristet zum 31.12.2028

Bewerbung an: