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

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.