Job
- Level
- Junior
- Job Feld
- Software
- Anstellung
- Teilzeit
- Vertragsart
- Praktikum / Schulpraktikum
- Ort
- Stuttgart
- Arbeitsmodell
- Hybrid, Onsite
Job Zusammenfassung
In dieser Position entwickelst du Methoden der formalen Verifikation für KI-basierte Cyberabwehrsysteme und führst Scenariosimulationen durch, um deren Zuverlässigkeit und Robustheit zu analysieren.
Job Technologien
Deine Rolle im Team
- Erforschung und Weiterentwicklung von Methoden der Formalen Verifikation (insbesondere Probabilistic Model Checking) für lernbasierte Agenten in der autonomen Cyberabwehr.
- Entwicklung und Erweiterung eines Verifikations-Frameworks zur Analyse von Robustheit, Zuverlässigkeit und Verhalten KI-basierter Cyberabwehragenten.
- Durchführung und Auswertung von Verifikationsexperimenten sowie Analyse von Skalierbarkeit und Generalisierbarkeit über verschiedene Bedrohungs- und Netzwerkszenarien.
- Mitarbeit an der Entwicklung robuster und vertrauenswürdiger KI-Systeme für Anwendungen in Verteidigung und Sicherheit im Rahmen von CortAIx.
- Dokumentation, Präsentation und Kommunikation der Forschungsergebnisse sowie Mitwirkung an wissenschaftlichen Veröffentlichungen.
Unsere Erwartungen an dich
Ausbildung
- Studium der Informatik, Mathematik, Künstlichen Intelligenz, Netzwerksicherheit oder eines vergleichbaren Fachs.
Qualifikationen
- Gute Programmierkenntnisse (z. B. Python, Java, C/C++) sowie Grundkenntnisse in Maschinellem Lernen (idealerweise Reinforcement Learning und/oder LLMs).
- Interesse an formalen Methoden; Kenntnisse in Probabilistic Model Checking, Netzwerksimulation oder autonomen Agentensystemen sind von Vorteil.
- Selbstständige, strukturierte Arbeitsweise sowie ausgeprägte Problemlösungs-, Kommunikations- und Teamfähigkeit.
- Sehr gute Deutsch- und Englischkenntnisse in Wort und Schrift.
Benefits
Work-Life-Integration
Gesundheit, Fitness & Fun
Themen mit denen du dich im Job beschäftigst
Job Standorte
Das ist dein Arbeitgeber
Thales Group
Wir, eine einzigartige Mischung aus unterschiedlichen Kompetenzen, Talente und Kulturen helfen unsere Kunden dabei, sich klüger zu verhalten und schneller zu handeln. Durch unsere außergewöhnlichen High-Tech-Lösungen ermöglichen wir unseren Kunden die Zukunft von heute. Vom Boden der Ozeane bis in die Tiefe des Weltraums und des Cyberspace erleichtern wir es unseren Kunden komplexere Aufgaben zu bewältigen und jeden entscheidenden Moment zu meistern.
Description
- Unternehmenstyp
- Etablierte Firma
- Arbeitsmodell
- Full Remote, Hybrid, Onsite
- Branche
- Internet, IT, Telekom
Arbeitgeber-Reviews
von devworkplaces.com
Gesamt
(1 Bewertung)Career Growth
3.4Culture
3.7Workingconditions
3.8Engineering
3.0
Werkstudent im Bereich Formale Verifikation für autonome Netzwerksicherheitssysteme
- Ort
- Stuttgart
- Arbeitsmodell
- Hybrid, Onsite
- Diversität
- Für alle Personen geeignet (m/w/d)
