Software Developer & Verification Expert (m/w/d)

Secunet Security Networks AG
Feedback geben
shareIconshareIconprinterIcon

Software Developer & Verification Expert (m/w/d)

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 Fehlerbeseitung, ebenso die Erstellung von Dokumentationen. 
Dein Profil | Du verfügst über
  •  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
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 kennen lernen. Wir freuen uns auf Deine vollständige Bewerbung, in der Du bitte Deine Kündigungsfrist, Deine Gehaltsvorstellung sowie die Kennziffer 3176/F angibst.
Zum Job Inserat

Hauptstandort

Random Phone Number
randomemail@example.com

Ansprechpartner

Klicke hier,
um mit der Karte zu interagieren.

Hauptstandort

Secunet Security Networks AG

Kurfürstenstraße 58
45138 Essen
Deutschland

Secunet Security Networks AG - image

Secunet Security Networks AG

Essen

Mehr als 1.300 Fachleute arbeiten bei secunet an Technik, die Behörden und Konzerne vor Cyberangriffen schützt. Die gemeinsam mit dem Bundesamt für Sicherheit in der Informationstechnik entwickelte Produktfamilie SINA überträgt und verarbeitet Verschlusssachen bis zur Einstufung GEHEIM. An europäischen Grenzübergängen lesen secunet Systeme Pässe und biometrische Merkmale aus. 2025 lag der Konzernumsatz bei 458,8 Millionen Euro.

secunet sichert Digitalisierung dort ab, wo ein Datenleck nicht nur teuer, sondern gefährlich wäre. Für Bundesbehörden bedeutet das SINA: Endgeräte, Krypto-Gateways und inzwischen auch eine Cloud, die BSI-Zulassungen für Verschlusssachen bis GEHEIM trägt. Ein zweites großes Feld ist die Grenzkontrolle. Immer mehr europäische Staaten rüsten Flughäfen und Landgrenzen mit Technik aus Essen aus. Dazu kommt der Schutz kritischer Infrastruktur, vom Gesundheitswesen bis zur Industrie, sowie ein eigener Bereich für Verteidigung und Raumfahrt.

Zu den Kunden zählen Bundesministerien, ein Großteil der DAX-Konzerne und internationale Regierungsorganisationen. Viele dieser Beziehungen bestehen seit über zwanzig Jahren, was in einem Geschäft mit langen Zulassungsverfahren einiges über die Verlässlichkeit der Technik aussagt. Gegründet wurde das Unternehmen 1997, heute ist die Aktiengesellschaft mit Sitz in Essen im SDAX notiert; Hauptaktionärin ist die Münchner Giesecke+Devrient GmbH. Der Umsatz stieg 2025 um 13 Prozent auf 458,8 Millionen Euro, der Auftragsbestand um 36 Prozent auf 278,9 Millionen Euro. Das Unternehmen arbeitet schuldenfrei.

Gearbeitet wird an zwölf deutschen Standorten, neben der Zentrale in Essen unter anderem in Berlin, Dresden und München. Der größte Teil der Belegschaft entwickelt oder berät. In den Entwicklungsteams wird viel in C, C++ und Python gearbeitet, im Consulting geht es um Sicherheitsarchitekturen direkt beim Kunden. Daneben besetzt secunet Stellen im Produktmanagement, im Vertrieb und in der Verwaltung.

Wer neu anfängt, hat mehrere Wege ins Haus. In Essen bildet secunet Fachinformatikerinnen und Fachinformatiker für Systemintegration sowie Kaufleute für Büromanagement aus. MINT-Absolventinnen und -Absolventen mit Master steigen über das Programm trainee@secunet ein, Studierende über Praktika, Werkstudentenstellen und betreute Abschlussarbeiten. Der Arbeitsalltag läuft mit Vertrauensarbeitszeit, Teilzeit ist in verschiedenen Modellen möglich, und bis zu vier Wochen im Jahr darf innerhalb der EU mobil gearbeitet werden. Weiterbildung läuft unter anderem über LinkedIn Learning, dazu kommen Bike-Leasing und eine Kooperation mit dem Urban Sports Club. Hunde sind in den Büros ausdrücklich willkommen. Für 2026 erwartet der Vorstand einen Umsatz zwischen 460 und 500 Millionen Euro.

Klicke hier,
um mit der Karte zu interagieren.

Hauptstandort

Secunet Security Networks AG

Kurfürstenstraße 58
45138 Essen
Deutschland