Befristete Anstellung, Festanstellung bei Agentur für Innovation in der Cybersicherheit GmbH in Dresden
Eingestellt am 28.08.2024
Wir suchen zum nächstmöglichen Zeitpunkt einen
Referenten „Formale Verifikation“ (m/w/d)
Dresden | Vollzeit oder Teilzeit | zunächst befristet auf zwei Jahre
Die Agentur für Innovation in der Cybersicherheit GmbH (Cyberagentur) bearbeitet die Themen von morgen für die Cybersicherheit der Zukunft. Wir sind ein innovatives Unternehmen des Bundes und identifizieren, finanzieren und begleiten spannende und herausragende Forschungsvorhaben auf dem Gebiet der Cybersicherheit und den dazugehörigen Schlüsseltechnologien. Unsere Projekte beschäftigen sich beispielsweise Kryptologie, Mensch-Maschine-Interaktion und der sicheren Kommunikation von der Tiefsee bis in den Weltraum. Damit leisten wir einen Beitrag zur Sicherstellung der Technologieführerschaft und zur digitalen Souveränität Deutschlands.
Ihre 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
unseren Bedarfsträgern der Inneren und Äußeren
Sicherheit, der wissenschaftlichen Community,
themenverwandten Start-Ups und der Industrie
Ein erster Schwerpunkt wird die Betreuung
der bereits laufenden Ausschreibung „Ökosystem
vertrauenswürdige IT“ und deren Projekte sein.
Ziel ist es, zu erforschen, wie die
Sicherheitseigenschaften von IT-Systemen mittels
formaler Verifikation beweisbar gemacht werden
können, auf allen Systemschichten von Hardware
über Firmware bis Software (Betriebssystem und
idealerweise Anwendersoftware). Ihr Schwerpunkt
sind dabei die Aspekte der Hardware-Sicherheit und
des Chip-Designs.
Qualifikationen
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
Diese Qualifikationen sind wünschenswert
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 mit Bezug zu
technischer oder theoretischer Informatik, zum
Beispiel in den Bereichen formale Methoden
insbesondere für Betriebssysteme und Software,
Compilerdesign, Befehlssatzarchitekturen,
Rechnerarchitekturen, Sicherheitsarchitekturen für
Software/Hardware, Chipdesign, language-theoretic
security, Software oder Hardware Reverse
Engineering, Obfuskation oder
Software-Lieferketten
Unser Angebot
Eine attraktive Vergütung in Anlehnung an den
TVöD-Bund (bei Erfüllung der persönlichen
Voraussetzungen bis E 14 TVöD)
Eine zunächst befristete Stelle auf zwei
Jahre mit der Option der Entfristung
Flexible und kernzeitfreie Arbeit sowie die
Option, nach der Einarbeitung bis zu 60% mobil zu
arbeiten
Vielfältige interne und externe
Weiterbildungsmöglichkeiten
30 Tage Urlaub
Zuschuss zum Jobticket
Betriebliches Gesundheitsmanagement
Besondere Hinweise
Wir wertschätzen und fördern Vielfalt und begrüßen daher alle Bewerbungen – unabhängig von Alter, Geschlecht, Nationalität, ethnischer und sozialer Herkunft, Religion, Weltanschauung, Behinderung sowie sexueller Orientierung und Identität. Schwerbehinderte und diesen gleichgestellten Menschen werden bei gleicher Eignung bevorzugt berücksichtigt.
Nach dem Sicherheitsüberprüfungsgesetz (SÜG) ist für die vorgesehene sicherheitsempfindliche Tätigkeit eine Sicherheitsüberprüfung durchzuführen. Dies betrifft ggf. auch Ihre Partnerin bzw. Ihren Partner. Das Einreichen einer Bewerbung werten wir als Signal einer grundsätzlichen Bereitschaft zur Durchführung einer Sicherheitsüberprüfung.
Dies ist Ihr Job? Dann freuen wir uns auf Ihre aussagekräftige und vollständige Online-Bewerbung. Bitte nutzen Sie dazu das Bewerbungsformular auf unserer Karriereseite. Die Stellen-ID lautet: CA-4.0.4.
bei Vorliegen der persönlichen Voraussetzungen bis E 14 TVöD-Bund
Vollzeit oder Teilzeit
Dresden (Deutschland)
Deutsch
Elektrotechnik und Informationstechnik, Informatik, Informatik - Bioinformatik, Informatik - Games Engineering, Informatik - Informatik, Informatik - Wirtschaftsinformatik, Mathematik
Agentur für Innovation in der Cybersicherheit GmbH
Große Steinstraße 19
06108 Halle, Deutschland
Elisabeth Brehme
015144150660
brehme@cyberagentur.de
Alumni & Career übernimmt keine Gewähr für die Inhalte dieser Stellenanzeige. Sehen Sie ein Problem mit dieser Stellenanzeige? Melden Sie es uns!