Für unser hoch motiviertes Team in der Division Verteidigung & Raumfahrt suchen wir für unsere Standorte in Berlin, Dresden und Ilmenau zum nächstmöglichen Zeitpunkt Deinen klugen Kopf. Deine Aufgabe - 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 - Erfolgreich absolviertes Hochschulstudium im Bereich der Informatik, ein vergleichbarer Abschluss oder entsprechende Berufserfahrung - Kenntnisse oder Erfahrungen in der Softwareentwicklung, idealerweise im Bereich sicherheitsrelevanter Systeme - Kenntnisse in Betriebssystemen, Mikrokernen, Separation Kernel, Linux wünschenswert - Kenntnisse der Intel x86-Architektur und Virtualisierung 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 Unser Angebot - Eine spannende Herausforderung und eine Position mit großen Gestaltungsmöglichkeiten - Attraktive leistungsorientierte Vergütung sowie ansprechende Konditionen und Sicherheiten eines erfolgreichen Unternehmens - Eine offene Unternehmenskultur mit flachen Hierarchien - Flexible Arbeitszeitgestaltung mit Möglichkeiten zum Mobile Office Dein Kontakt zu uns secunet Security Networks AG Frau Katrin Krause Kurfürstenstraße 58 45138 Essen 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 1973/F angibst.
Softwareentwickler und Verifikationsexperte (m/w/d) (Anwendungsprogrammierer/in)