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

Summary

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

• Studentische Beschäftigung mit 80 Monatsstunden

  Other · Fakultät IV - Elektrotechnik und Informatik, Institut für Telekommunikationssysteme – FG Telekommunikationsnetze

• Wiss. Mitarbeiter*in (d/m/w)

  Scientific Staff · Fakultät IV - Elektrotechnik und Informatik, Institut für Hochfrequenz- und Halbleiter-Systemtechnologien / FG Hochfrequenztechnik - Photonik

• Studentische Beschäftigung mit 40 Monatsstunden

  Other · Fakultät V - Verkehrs- und Maschinensysteme, Institut für Werkzeugmaschinen und Fabrikbetrieb - FG Handhabungs- und Montagetechnik

• Studentische Beschäftigung mit 60 Monatsstunden

  Other · Fakultät V - Verkehrs- und Maschinensysteme, Institut für Werkzeugmaschinen und Fabrikbetrieb - Fachgebiet Werkzeugmaschinen und Fertigungstechnik

• Studentische Beschäftigung mit 40 Monatsstunden

  Other · Fakultät V - Verkehrs- und Maschinensysteme, Institut für Luft- und Raumfahrt - FG Aerodynamik

• Studentische Beschäftigung mit 40 Monatsstunden

  Other · Fakultät V - Verkehrs- und Maschinensysteme, Institut für Maschinenkonstruktion und Systemtechnik - FG Elektromechanische Konstruktionen