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

Das ist der Job

Wir freuen uns auf Sie!

Das brauchst du

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.

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.

Darum lohnt es sich

Location: Stuttgart, Germany 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.

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.

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.

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. Ihre Ansprechpartnerin Sophia Schneider freut sich schon auf Ihre Online-Bewerbung über unser Karriereportal.

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. Im Jahr 2025 erwirtschaftete die Gruppe einen Umsatz von 22,1 Milliarden Euro.

Mit unserer nachhaltigen, werteorientierten Personalführung treten wir aktiv für Diversität ein. Sind Sie dabei? Sophia Schneider + 49 715630210328 sophia.schneider@thalesgroup.com *Human Intelligence #LI-HYBRID