Softwareentwickler und Verifikationsexperte (m/w/d)

Für unser Entwicklungsteam in der Division Verteidigung & Raumfahrt suchen wir für unsere Standorte in Berlin, Dresden oder Ilmenau zum nächstmöglichen Zeitpunkt Deinen klugen Kopf.

Deine Aufgaben

• Entwicklung Komponenten-basierter Systeme, insbesondere sicherheitskritische Komponenten
• Anwendung formaler Methoden zum Nachweis kritischer Eigenschaften vertrauenswürdiger Komponenten
• Integration in das aus Hardware- und Softwareanteilen bestehende Gesamtprodukt
• Unterstützung bei Test, Fehleranalyse und Fehlerbeseitigung sowie Erstellung von Dokumentationen

Dein Profil

• ein erfolgreich absolviertes Hochschulstudium im Bereich der Informatik, einen vergleichbaren Abschluss oder entsprechende Berufserfahrung
• Kenntnisse oder Erfahrungen in der Softwareentwicklung, idealerweise im Bereich sicherheitsrelevanter Systeme
• Kenntnisse in Betriebssystemen, Mikrokernen, Separation Kernel, Linux ist wünschenswert
• Kenntnisse der Intel x86-Architektur und Virtualisierung sind wünschenswert
• Kenntnisse in Ada/SPARK oder Programmiersprachen mit Nachweisanforderungen wünschenswert
• Kenntnisse in den Bereichen IT-Sicherheit, angewandte Kryptografie, Informationssicherheit wünschenswert
• Sehr gute Deutsch- und gute Englischkenntnisse in Wort und Schrift runden Dein Profil ab.

Unser Angebot

• Wir bieten spannende Herausforderungen in einem eingespielten Team mit vielseitigen und abwechslungsreichen Aufgaben und Themengebieten.
• Du kannst bei uns interessante Aufgaben im Bereich der IT-Sicherheit wahrnehmen und zur eigenen Expertise machen.
• Dich erwarten eine attraktive, leistungsorientierte Vergütung sowie ansprechende Konditionen und Sicherheiten eines erfolgreichen Unternehmens.
• Deine Fortbildung liegt uns am Herzen. Wir unterstützen Dich bei der Auswahl geeigneter Weiterbildungsmaßnahmen, um Dein Wissen auszubauen und Know-How einzubringen.
• Die moderne Arbeitswelt spielt bei uns eine große Rolle - wir bieten Vertrauensarbeitszeit, verschiedene Mobile-Office-Modelle, Shared-Desk und Zweier-Büros – lass uns drüber reden, welche Arbeitsform am besten zu Dir passt!
• Arbeiten im EU-Ausland? Kein Problem - du kannst bis zu 20 Tage remote innerhalb der EU arbeiten.

Dein Kontakt zu uns

secunet Security Networks AG

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 2905/F angibst.