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

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%)

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.

Unter dem Vorbehalt der Mittelbewilligung

Fachlich verantwortlich / Ansprechpartner:in für die Ausschreibung: Herr Klein - j.klein@tu-berlin.de
Besetzungszeitraum: 01.01.2027 befristet zum 31.12.2028
Bewerbung an: j.klein@tu-berlin.de

Ihre schriftliche Bewerbung mit Anschreiben, Lebenslauf, Immatrikulationsbescheinigung und ggf. aktueller Notenübersicht richten Sie bitte unter Angabe der Kennziffer an die o.g. Beschäftigungsstelle.
Zur Wahrung der Chancengleichheit zwischen Männern und Frauen sind Bewerbungen von Frauen mit der jeweiligen Qualifikation ausdrücklich erwünscht. Schwerbehinderte werden bei gleicher Eignung bevorzugt.