Werkstudent (m/w/d) im Bereich Formale Verifikation (FV) für autonome Netzwerksicherheitssysteme
WeSay 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 CyberSecurity und DigitalIdentity.
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, Cybersecurityund Kryptographie, für Verschlüsselungskomponenten und Hardware-Security-Module sowie für elektronische Schlüsselmanagementsysteme. Wir freuen uns auf Sie!
Ihre Missionals 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-Frameworkszur Analyse von Robustheit, Zuverlässigkeit und Verhalten KI-basierter Cyberabwehragenten
Durchführung und Auswertung von Verifikationsexperimentensowie Analyse von Skalierbarkeit und Generalisierbarkeit über verschiedene Bedrohungs- und Netzwerkszenarien
Mitarbeit an der Entwicklung robuster und vertrauenswürdiger KI-Systemefü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,5Milliarden Euro in Forschung und Entwicklung in Schlüsseltechnologien wie künstliche Intelligenz, Cybersicherheit, Quanten- und Cloud-Technologien.
Im Jahr 2025erwirtschaftete die Gruppe einen Umsatz von 22,1Milliarden Euro.
Für mehr als85.000Mitarbeitende in 65Ländern eröffnen wir zukunftsweisende Perspektiven, verwirklichen individuelle Karrierewege und ermöglichen kreative Freiräume. Diesgelingt durch Mut, Vielfalt und den festen Willen, die anspruchsvollenHerausforderungen unserer Zeit sicherer und inklusiver zu gestalten.Mit unserer nachhaltigen, werteorientierten Personalführung treten wir aktiv für Diversitätein.
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
*Human Intelligence