Referent Formale Verifikation at beworm

Intro

Die Agentur für Innovation in der Cybersicherheit GmbH (Cyberagentur) sucht einen Referenten „Formale Verifikation“ zur Bearbeitung von Forschungsprojekten im Bereich Cybersicherheit.

Tasks

Identifikation und Konzeption relevanter Forschungsfragen und -projekte im Bereich „Sichere Hardware und Lieferketten“
Vorbereitung der Ausschreibung von Forschungsvorhaben sowie Betreuung laufender Forschungsprojekte
Qualitätsprüfung der Ergebnisse abgeschlossener Vorhaben
Verantwortung für engen Austausch mit Bedarfsträgern der Inneren und Äußeren Sicherheit, der wissenschaftlichen Community, themenverwandten Start-Ups und der Industrie
Betreuung der laufenden Ausschreibung „Ökosystem vertrauenswürdige IT“ und deren Projekte

Requirements

abgeschlossenes wissenschaftliches Hochschulstudium (Master/Diplom-Universität) der Informatik, Mathematik, Elektrotechnik oder verwandter Studiengänge
fließende Deutschkenntnisse und verhandlungssichere Englischkenntnisse in Wort und Schrift
Erfahrung in der Forschung (auch Industrieforschung)
Erfahrung in der Formulierung von Forschungsanträgen oder bei einem Projektträger für die Forschungsförderung der öffentlichen Hand
Promotion in einem relevanten Fach
Kenntnisse und Erfahrungen in technischer oder theoretischer Informatik, insbesondere in formalen Methoden, Compilerdesign, Sicherheitsarchitekturen, Chipdesign, Software oder Hardware Reverse Engineering

Benefits

attraktive Vergütung in Anlehnung an den TVöD-Bund (bis E 14 TVöD)
befristete Stelle auf zwei Jahre mit der Option der Entfristung
flexible und kernzeitfreie Arbeit sowie bis zu 60% mobiles Arbeiten nach der Einarbeitung
vielfältige interne und externe Weiterbildungsmöglichkeiten
30 Tage Urlaub
Zuschuss zum Jobticket
betriebliches Gesundheitsmanagement

Intro

Tasks

Requirements

Benefits

Similar impact jobs