vor 14 Tagen
Vollzeit
Teilzeit
Mid-Level
#recycling #bio-tech#plastic-pollution
Referent Formale Verifikation
Entdecke 29 weitere Jobs wie diesen
Jetzt Account erstellen und wir matchen dich automatisch mit den relevantesten Jobmöglichkeiten.
Der folgende Stellentext wurde von uns automatisch zusammengefasst.
Einführung
Die Agentur für Innovation in der Cybersicherheit GmbH (Cyberagentur) sucht einen Referenten „Formale Verifikation“ zur Bearbeitung von Forschungsprojekten im Bereich Cybersicherheit.
Aufgaben
- 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
Voraussetzungen
- 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
vor 14 Tagen
Verweise auf baito
Du findest gut, was wir machen? Du kannst uns dabei unterstützen. Gib bei deiner Bewerbung an, dass du die Stelle bei baito gefunden hast.