Referent "Formale Verifikation"

Detailansicht des Stellenangebots Stellendetails zu: Referent "Formale Verifikation" Referent "Formale Verifikation"KopfbereichArbeitMathematiker/inReferent "Formale Verifikation"Agentur für Innovation in der Cybersicherheit GmbHVollzeitTeilzeit (Vormittag, Nachmittag)Dresdenab sofortbefristet für 24 MonateGesternStellenbeschreibungVergütung: in Anlehnung an TVÖD Bund

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 agiles und innovatives Unternehmen des Bundes und arbeiten an Projekten z. B. in der Kryptologie, an der Mensch-Maschine-Interaktion und an der sicheren Kommunikation von der Tiefsee bis in den Weltraum.
Unsere Agentur wurde vom Bundesministerium der Verteidigung und dem Bundesministerium des Innern und für Heimat gemeinsam als die Agentur für Innovation in der Cybersicherheit GmbH gegründet.
Unsere Aufgabe ist die Identifikation von Zukunftsthemen im Gebiet der Cybersicherheit und den dazugehörigen Schlüsseltechnologien. Wir finanzieren und begleiten spannende und herausragende Forschungsvorhaben. 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.

Diese Qualifikationen sind ein Muss

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

Was wir bieten

Ein spannendes Arbeitsumfeld in einem jungen und motivierten Team
Ein attraktives Gehalt angelehnt an den TVöD (bei entsprechender Qualifikation und 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
die Möglichkeit des mobilen Arbeitens im Rahmen der gültigen Arbeitszeitrichtlinie
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 bis zum 31.07.2024. Bitte nutzen Sie dazu das Bewerbungsformular auf unserer Karriereseite https://cyberagentur.connectoor.de/.
Haben Sie noch Fragen? Dann nehmen Sie gerne Kontakt zu uns auf! bewerbung@cyberagentur.de
ArbeitsorteKarte anzeigen