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

Thales
Stuttgart
Workplace: HybridPart timeFunction: Software EngineeringSkills: ["Problem-solving","Communication","Teamwork","Structured work"]

Erforsche und entwickle Methoden der formalen Verifikation (insbesondere Probabilistic Model Checking) für lernbasierte Agenten in autonomer Cyberabwehr. Baue und erweitere ein Verifikations-Framework, um Robustheit, Zuverlässigkeit und Verhalten von KI-basierten Cyberabwehragenten zu analysieren. Führe Verifikationsexperimente durch, werte Ergebnisse aus und untersuche Skalierbarkeit und Generalisierbarkeit über Bedrohungs- und Netzwerkszenarien, inklusive Dokumentation und Publikationsmitwirkung.

Loading

Loading job details...

Preparing the role view and application actions.

FursaFursa
Thales
Thales
1 month ago

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

✓ Verified Job

Canonical indexed version, validated from employer's careers page.

Source: Company careers pageValidated by: Fursa AI
Last checked: 9 hours agoStatus: Live

Job Summary

Erforsche und entwickle Methoden der formalen Verifikation (insbesondere Probabilistic Model Checking) für lernbasierte Agenten in autonomer Cyberabwehr. Baue und erweitere ein Verifikations-Framework, um Robustheit, Zuverlässigkeit und Verhalten von KI-basierten Cyberabwehragenten zu analysieren. Führe Verifikationsexperimente durch, werte Ergebnisse aus und untersuche Skalierbarkeit und Generalisierbarkeit über Bedrohungs- und Netzwerkszenarien, inklusive Dokumentation und Publikationsmitwirkung.
Location: Stuttgart
Workplace: Hybrid
Employment Type: Part time
Job Function: Software Engineering

Key Responsibilities

  • •Erforschung und Weiterentwicklung formaler Verifikationsmethoden (insbesondere Probabilistic Model Checking) für lernbasierte Agenten in autonomer 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 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

Key Requirements

  • •Studium der Informatik, Mathematik, Künstlichen Intelligenz, Netzwerksicherheit oder eines vergleichbaren Fachs
  • •Gute Programmierkenntnisse, z. B. Python, Java oder C/C++
  • •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
  • •Sehr gute Deutsch- und Englischkenntnisse in Wort und Schrift
Education:
Skills:Problem-solvingCommunicationTeamworkStructured work
Languages:DeutschEnglish
Tech Stack:PythonJavaC/C++Maschinelles LernenReinforcement LearningLLMsProbabilistic Model Checking

Company Brief

Thales
Designs and delivers advanced systems and services for aerospace, defence, security, and digital identity and cybersecurity markets, serving government and commercial customers worldwide.
Industry: Defense Technology
Company Size: Enterprise (1,001+ employees)
Revenue: USD 1B+
Growth: Public Company
Valuation: Public Company (Market Cap in USD)
Funding: IPO / Publicly Listed
Headquarters: Paris, France
Founded: 2000
WebsiteLinkedIn