Hier geht's zur Stellenausschreibung:

->>> https://www.dlr.de/dlr/jobs/desktopdefault.aspx/tabid-10596/1003_read-52381/

89739: Informatiker/in, Mathematiker/in, Ingenieur/in IT-Sicherheit o.ä. (w/m/d) – Formale Methoden in der IT-/OT-Sicherheit