Software Developer & Verification Expert

Secunet

Dresden, Germany

about 2 months ago

Role details

Contract type

Permanent contract

Employment type

Part-time (≤ 32 hours)

Compensation

€70,000.0

Working hours

Regular working hours

Languages

English, German

Job source

Cyber Security Linux Software Engineering Apache Spark Information Technology

Du bist zuständig für die Entwicklung Komponenten-basierter Systeme, insbesondere sicherheitskritische Komponenten.
Hierbei mit der primären Verwendung von Ada/SPARK 2014 und der Anwendung formaler Methoden zum Nachweis kritischer Eigenschaften von vertrauenswürdigen Komponenten.
Du übernimmst die Integration in das aus Hardware- und Softwareanteilen bestehende Gesamtprodukt und unterstützt bei Tests, Fehleranalysen und der Fehlerbeseitung, ebenso die Erstellung von Dokumentationen.

ein erfolgreich absolviertes Hochschulstudium im Bereich der Informatik, einen vergleichbarer Abschluss oder entsprechende Berufserfahrung
eine Promotion in relevanten Themenstellungen ist wünschenswert, aber nicht erforderlich
Kenntnisse oder Erfahrungen in der Softwareentwicklung, idealerweise im Bereich sicherheitsrelevanter Systeme
umfangreiche Kenntnisse oder Erfahrungen in einem oder mehren Themengebieten:
sichere Programmiersprachen (Ada/SPARK, Rust, FRAMA-C, …)
formalen Methoden (Isabelle, Coq, Why3, LEAN, SMT-Solving, …)
Betriebssystementwicklung insbesondere Mikrokerne, Separation Kernel, Linux
IT-Sicherheit
angewandte Kryptographie
sehr gute Deutsch- und gute Englischkenntnisse in Wort und Schrift

Marktgerechtes Gehalt: Dich erwartet ein Jahreszielgehalt ab 70.000 € brutto - je nach Qualifikation und Berufserfahrung auch darüber hinaus - bestehend aus einem attraktiven Fixum und einer leistungsbezogenen Tantieme.
Echter Teamgeist: Mitarbeit in Teams, die Veränderungen vorantreiben - egal wie kompliziert und umfangreich Projekte sind
Gesellschaftliche Relevanz: Wir arbeiten an Lösungen, die Gamechanger-Qualitäten haben - auf allen Gebieten der IT-Sicherheit
Individuelle Weiterentwicklung: Karriere ist bei uns kein Standardrezept. Wir entwickeln uns gemeinsam weiter und unterstützen Dich mit dem was Du für Dich brauchst um weiterzukommen
Der Mensch im Fokus: In unserer Vielfalt liegt die Kraft. Wir respektieren uns gegenseitig so wie wir sind. Uns liegt zudem die Vereinbarkeit von Beruf, Familie und Privatleben am Herzen. Hier sind wir seit 2025 zertifiziert
Flexibles Arbeiten: 12 Standorte in Deutschland, Shared Desk-Modell, Vertrauensarbeitszeit und flexible Teilzeitmodelle. Da ist für jeden das passende Modell dabei
Sonne, Strand oder Berge: Arbeiten im EU-Ausland? Kein Problem - Du kannst pro Jahr bis zu 20 Tage remote innerhalb der EU arbeiten
Schöne Benefits obendrauf: Freue Dich auf Bike-Leasing, Firmenfitness-Programm, vergünstigtes Jobticket, secudog und vieles mehr