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

TU Berlin: Technische Universität Berlin • Part-time • Berlin, Berlin, Deutschland • 2d ago

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.

Related Jobs

Wiss. Mitarbeiter*in (d/m/w) - 1. Qualifizierungsphase (zur Promotion)

TU Berlin: Technische Universität Berlin • Full-time • Berlin, Berlin, Deutschland • 1d ago

Natural Sciences Engineering Data science Wissenschaftliche:r Mitarbeiter

1d ago

Apply

Wiss. Mitarbeiter*in (d/m/w) - 75 % Arbeitszeit

TU Berlin: Technische Universität Berlin • Part-time • Berlin, Berlin, Deutschland • 1d ago

Environmental & Sustainability Sciences Research Wissenschaftliche:r Mitarbeiter

1d ago

Apply

Auslandsstudienberatung Outgoings (d/m/w) - 25 % Arbeitszeit

TU Berlin: Technische Universität Berlin • Part-time • Berlin, Berlin, Deutschland • 1d ago

University Administration & Support Social Media Customer Service Communication

1d ago

Apply

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

TU Berlin: Technische Universität Berlin • Full-time • Berlin, Berlin, Deutschland • 1d ago

Natural Sciences Research Artificial Intelligence Postdoctoral researcher

1d ago

Apply

Studentische Beschäftigung mit 80 Monatsstunden

TU Berlin: Technische Universität Berlin • Part-time • Berlin, Berlin, Deutschland • 2d ago

Engineering Research Assistant Technischer Assistent

2d ago

Apply

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

TU Berlin: Technische Universität Berlin • Full-time • Berlin, Berlin, Deutschland • 3d ago

Environmental & Sustainability Sciences Artificial Intelligence Wissenschaftliche:r Mitarbeiter Sustainability

3d ago

Apply

Studentische Beschäftigung mit 60 Monatsstunden

TU Berlin: Technische Universität Berlin • Part-time • Berlin, Berlin, Deutschland • 5d ago

Education & Pedagogy Teaching Assistant Aerospace Engineering Technical Assistant

5d ago

Apply

Academy Operations Manager*in (d/m/w)

TU Berlin: Technische Universität Berlin • Full-time • Berlin, Berlin, Deutschland • 1w ago

Education & Pedagogy Entrepreneurship Event Management Project Management

1w ago

Apply

Wiss. Mitarbeiter*in (d/m/w) - 50 % Arbeitszeit - zur Qualifizierung

TU Berlin: Technische Universität Berlin • Part-time • Berlin, Berlin, Deutschland • 1w ago

Engineering Robotics Wissenschaftliche:r Mitarbeiter

1w ago

Apply

Wiss. Mitarbeiter*in (d/m/w) - 75 % Arbeitszeit - 1. Qualifizierungsphase (zur Promotion)

TU Berlin: Technische Universität Berlin • Part-time • Berlin, Berlin, Deutschland • 1w ago

Education & Pedagogy Marketing Research Wissenschaftliche:r Mitarbeiter

1w ago

Apply