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

Secunet International; Berlin; On-site; EUR 63,000 - 77,000; Full time

Benefits offered by this job

Bike-Leasing

Firmenfitness-Programm

Jobticket

Secudog

Job summary

secunet sucht zur Verstärkung der Abteilung Software Development & Verification in Berlin oder Dresden eine Fachkraft für die Entwicklung sicherheitskritischer, komponentenbasierter Systeme. Der Fokus liegt auf Ada / SPARK 2014, formalen Methoden und der Integration in das Gesamtprodukt mit Tests und Dokumentationen.

Sie bringen ein Hochschulstudium der Informatik oder einen vergleichbaren Abschluss mit; eine Promotion ist wünschenswert.

Qualifications

• Hochschulabschluss in Informatik oder vergleichbarer Abschluss; Promotion wünschenswert.
• Kenntnisse in sicherheitsrelevanten Systemen und Softwareentwicklung.
• Erfahrung mit Ada / SPARK, formalen Methoden und sicherheitskritischen Systemen.
• Gute Deutsch- und Englischkenntnisse in Wort und Schrift.

Responsibilities

• Entwicklung komponentenbasierter Systeme mit Fokus auf sicherheitskritische Anwendungen.
• Integration in das Gesamtprodukt; Unterstützung bei Tests, Fehleranalysen und Fehlerbeseitigung; Erstellung von Dokumentationen.

Skills

Ada / SPARK

Rust

FRAMA-C

Isabelle

Coq

Why3

LEAN

SMT-Solving

Mikrokerne / Separation Kernel / Linux

IT-Sicherheit

Kryptographie

Deutschkenntnisse

Englischkenntnisse

Education

Hochschulstudium Informatik oder vergleichbarer Abschluss

Promotion wünschenswert

Job description

secunet ist Deutschlands führendes Cybersecurity-Unternehmen. In einer zunehmend vernetzten Welt sorgt das Unternehmen mit der Kombination aus Produkte und Beratung für widerstandsfähige, digitale Infrastrukturen sowie den höchstmöglichen Schutz für Daten, Anwendungen und digitale Identitäten. secunet ist dabei spezialisiert auf Bereiche, in denen es besondere Anforderungen an die Sicherheit gibt – wie z. B. Cloud, IIoT, E-Government und E-Health. Mit den Sicherheitslösungen von secunet können Unternehmen höchste Sicherheitsstandards in Digitalisierungsprojekten einhalten und damit ihre digitale Transformation vorantreiben.

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.

Aufgaben

• Du bist zuständig für die Entwicklung komponentenbasierter Systeme, insbesondere sicherheitskritischer 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.

Profil

• 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 Erfahrung in der Softwareentwicklung, idealerweise im Bereich sicherheitsrelevanter Systeme
• umfangreiche Kenntnisse oder Erfahrungen in einem oder mehreren Themengebieten:
  • sichere Programmiersprachen (Ada / SPARK, Rust, FRAMA-C etc.)
  • formale Methoden (Isabelle, Coq, Why3, LEAN, SMT-Solving etc.)
  • Betriebssystementwicklung, insbesondere Mikrokerne, Separation Kernel und Linux
  • IT-Sicherheit
  • angewandte Kryptographie
• sehr gute Deutsch- und gute Englischkenntnisse in Wort und Schrift

Wir bieten

• 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: Zwölf Standorte in Deutschland, Mobile Office, 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
• 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
• Schöne Benefits obendrauf: Freue Dich auf Bike-Leasing, Firmenfitness-Programm, vergünstigtes Jobticket, secudog und vieles mehr

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.

Important note

Please be advised that a valid work permit for Germany is required for non-EU citizens. Unfortunately, applications without a valid work permit and sufficient German language skills may not be considered.