Softwareentwickler und Verifikationsexperte (m/w/d)
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
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 1973/F angibst.
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 1973/F angibst.