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

TU Berlin: Technische Universität Berlin; Berlin; Presencial; EUR 17.000 - 22.000; A tiempo parcial

Descripción de la vacante

TU Berlin: Technische Universität Berlin sucht Unterstützung für das Forschungsprojekt TAPIR in der Software and Embedded Systems Engineering Gruppe. Sie arbeiten an einem Tool zur automatischen Verifikation von Opacity-Eigenschaften in Timed Automata mit C++ und unterstützen Fallstudien zu Timing Attacks.

Gesucht wird eine immatrikulierte Studentin bzw. Student, der vor Ort am Campus arbeitet. Deutsch- bzw. Englischkenntnisse sind erforderlich; Bereitschaft zur Sprachvermittlung ist gegeben.

Formación

• 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, überwiegenden Teil der Arbeitsleistung vor Ort auf dem TU-Berlin-Campus zu erbringen
• Gute Deutsch- oder Englischkenntnisse; Bereitschaft, fehlende Sprachkenntnisse zu erwerben

Responsabilidades

• Unterstützung beim Entwurf, der Entwicklung und 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%)

Conocimientos

C++-Grundkenntnisse

Theoretische Informatik

Deutsch/Englischkenntnisse

Educación

Immatrikulation an einer deutschen Hochschule

Descripción del empleo

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