Werkstudent (m/w/d) im Bereich Formale Verifikation (FV) für autonome Netzwerksicherheitssysteme

We Say HI* 

Werkstudent (w/m/d)  im Bereich Formale Verifikation für autonome Netzwerksicherheit (R0333815) am Standort Ditzingen #LI-HYBRID 

Thales ist ein weltweit führender Anbieter von Spitzentechnologien für die Bereiche Verteidigung, Luft- und Raumfahrt sowie Cyber Security und Digital Identity.  

In Ditzingen erwarten Sie Sicherheitslösungen zur Überwachung und Absicherung von Grenzen und Grenzkontrollen, für den Schutz ziviler und militärischer Einrichtungen sowie für die taktische Kommunikation. Hier sind Sie richtig, wenn Sie gemeinsam mit uns taktische und einsatzerprobte Funkgeräte für die vernetzte Operationsführung im militärischen Einsatz enzwickeln und produzieren wollen. Werden Sie Teil des Thales-Expertenteams für Funkgeräte, Cybersecurity und Kryptographie, für Verschlüsselungskomponenten und Hardware-Security-Module sowie für elektronische Schlüsselmanagementsysteme. Wir freuen uns auf Sie! 

Ihre Mission als Werkstudent (w/m/d)  im Bereich Formale Verifikation für autonome Netzwerksicherheit:

• 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

Darauf freuen wir uns: 

• Studium der Informatik, Mathematik, Künstlichen Intelligenz, Netzwerksicherheit oder eines vergleichbaren Fachs

• 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

Thales investiert jährlich mehr als 4,5 Milliarden Euro in Forschung und Entwicklung in Schlüsseltechnologien wie künstliche Intelligenz, Cybersicherheit, Quanten- und Cloud-Technologien.  

Im Jahr 2025 erwirtschaftete die Gruppe einen Umsatz von 22,1 Milliarden Euro. 

Für mehr als 85.000 Mitarbeitende in 65 Ländern eröffnen wir zukunftsweisende Perspektiven, verwirklichen individuelle Karrierewege und ermöglichen kreative Freiräume. Dies gelingt durch Mut, Vielfalt und den festen Willen, die anspruchsvollen Herausforderungen unserer Zeit sicherer und inklusiver zu gestalten. Mit unserer nachhaltigen, werteorientierten Personalführung treten wir aktiv für Diversität ein. 

Say HI* – Ihr Weg zu uns 

Wenn die Zeichen der Zeit auf Veränderung stehen, sind unsere internationalen Teams da, um der Komplexität von heute mit den branchenführenden Technologien von morgen zu begegnen. Sind Sie dabei? Ihre Ansprechpartnerin Sophia Schneider freut sich schon auf Ihre Online-Bewerbung über unser Karriereportal.   

Sophia Schneider  

+ 49 715630210328

[email protected]

*Human Intelligence 

#LI-HYBRID