Werkstudent im Bereich Formale Verifikation (FV) für autonome Netzwerksicherheitssysteme

• 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

• 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 ist ein weltweit führender Anbieter von Spitzentechnologien für die Bereiche Verteidigung, Luft- und Raumfahrt sowie Cyber Security und Digital Identity., 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