> Markdown version of [/jobs/ext/1258202-werkstudent-im-bereich-formale-verifikation-fv-fur-autonome-netzwerksicherheitssysteme](https://www.wearedevelopers.com/jobs/ext/1258202-werkstudent-im-bereich-formale-verifikation-fv-fur-autonome-netzwerksicherheitssysteme). Every page supports `.md` or `Accept: text/markdown`. Links point to the HTML versions so they work for humans too. Agent guide: [/agents.md](https://www.wearedevelopers.com/agents.md).

---

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

- **Company:** Thales Deutschland GmbH
- **Location:** Ditzingen, Germany
- **Experience:** Internship
- **Contract:** Internship / Graduate position
- **Skills:** Java (Programming Language), Artificial Intelligence, C++ (Programming Language), Formal Verification, Python (Programming Language), Network Security, Large Language Models, Information Technology
- **Published:** July 13, 2026
- **Apply:** https://thales.wd3.myworkdayjobs.com/Careers/job/Stuttgart/Werkstudent--m-w-d--im-Bereich-Formale-Verifikation--FV--fr-autonome-Netzwerksicherheitssysteme_R0333815

## About the Role

* 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

## Description

* 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


## Related Videos

- [When testing just doesn’t cut it](https://www.wearedevelopers.com/videos/720-when-testing-just-doesn-t-cut-it)
- [Small, Secure, Interconnected: The next Internet Protocol](https://www.wearedevelopers.com/videos/100062-small-secure-interconnected-the-next-internet-protocol)
- [Creating Industry ready solutions with LLM Models](https://www.wearedevelopers.com/videos/899-creating-industry-ready-solutions-with-llm-models)
- [AI Meets Hoare Logic: Revolutionizing Software Testing with Formal Methods](https://www.wearedevelopers.com/videos/1644-ai-meets-hoare-logic-revolutionizing-software-testing-with-formal-methods)
- [Developer’s Perspective: Overview of the Tezos Blockchain Ecosystem](https://www.wearedevelopers.com/videos/237-developer-s-perspective-overview-of-the-tezos-blockchain-ecosystem)
- [Blockchains: One Size doesn't Fit All](https://www.wearedevelopers.com/videos/409-blockchains-one-size-doesn-t-fit-all)

## Related Articles

- [System change: restart as developer?](https://www.wearedevelopers.com/magazine/39-system-change-restart-as-developer)
- [Best Coding Boot Camps in Germany](https://www.wearedevelopers.com/magazine/237-best-coding-boot-camps-in-germany)
- [IT Salaries in Germany](https://www.wearedevelopers.com/magazine/287-it-salaries-in-germany)
- [Finding IT & Technology English-speaking Jobs in Germany ](https://www.wearedevelopers.com/magazine/446-finding-it-technology-english-speaking-jobs-in-germany)
- [The Biggest German Tech Companies](https://www.wearedevelopers.com/magazine/424-the-biggest-german-tech-companies)
- [The Most Popular IT Jobs on the Market](https://www.wearedevelopers.com/magazine/376-the-most-popular-it-jobs-on-the-market)