Auf einen Blick
- Aufgaben: Entwickle sicherheitskritische Systeme mit Ada/SPARK und formalen Methoden.
- Unternehmen: Innovatives Unternehmen im Bereich IT-Sicherheit mit starkem Teamgeist.
- Vorteile: Marktgerechtes Gehalt, flexible Arbeitszeiten und individuelle Weiterentwicklung.
- Weitere Informationen: Arbeiten im EU-Ausland möglich, tolle Benefits wie Bike-Leasing und Firmenfitness.
- Warum dieser Job: Gestalte Gamechanger-Lösungen in einem respektvollen und vielfältigen Umfeld.
- Qualifikationen: Studium in Informatik oder vergleichbare Qualifikation, Erfahrung in Softwareentwicklung.
Das prognostizierte Gehalt liegt zwischen 70000 - 77000 € pro Jahr.
Für unsere Abteilung Software Development & Verification in der Division Defence & Space suchen wir für einen unserer Standorte in Berlin oder Dresden zum nächstmöglichen Zeitpunkt Deinen klugen Kopf.
Deine Aufgaben:
- 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 Fehlerbeseitigung, ebenso die Erstellung von Dokumentationen.
Dein Profil:
- Du verfügst über ein erfolgreich absolviertes Hochschulstudium im Bereich der Informatik, einen vergleichbaren 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 mehreren Themengebieten:
- sichere Programmiersprachen (Ada/SPARK, Rust, FRAMA-C, ...)
- formale 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.
Unser Angebot:
- 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.
Dein Kontakt zu uns:
secunet Security Networks AG
Frau Katrin Krause
Kurfürstenstraße 58
45138 Essen
Telefon: +49 201 5454-0
Wenn Du gern an der Spitze der technologischen Entwicklung arbeiten möchtest, in einem Klima, das von Vertrauen und Fairness geprägt ist, sollten wir uns kennenlernen. Wir freuen uns auf Deine vollständige Bewerbung, in der Du bitte Deine Kündigungsfrist, Deine Gehaltsvorstellung sowie die Kennziffer 3176/F angibst.
Software Developer & Verification Expert (m/w/d) Arbeitgeber: secunet Security Networks
Als Arbeitgeber in der Verteidigungs- und Raumfahrtbranche bieten wir Dir die Möglichkeit, an innovativen und gesellschaftlich relevanten Projekten zu arbeiten, die echte Veränderungen bewirken. Unsere Unternehmenskultur fördert Teamgeist, individuelle Weiterentwicklung und die Vereinbarkeit von Beruf und Privatleben, während wir Dir ein marktgerechtes Gehalt und attraktive Benefits wie flexibles Arbeiten und Bike-Leasing bieten. In unseren modernen Büros in Berlin oder Dresden erwartet Dich ein inspirierendes Umfeld, in dem Du Deine Fähigkeiten in der Softwareentwicklung und Systemarchitektur weiterentwickeln kannst.
Kontaktdaten:
secunet Security Networks Recruiting-Team
