Unser Mandant, ist ein börsennotiertes IT-Unternehmen mit über 700 Mitarbeitern und einem Umsatz von knapp 230 Mio. Euro. Die secunet bietet ihren Kunden Lösungen rund um IT-Sicherheit und IT-Hochsicherheit. Für die Division Verteidigung & Raumfahrt suchen wir am Standort Berlin, Dresden und Ilmenau- attraktives Gehaltspaket, ausgezeichnete Work-Life Balance, zentrale Büros – einen Softwareentwickler und Verifikationsexperte (m/w/gsn) – ID 1137
Spannende Projekte – Lösungen state of the art – Dynamischer, wachsender Markt
Ihre 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
Ihr 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
Ihre Perspektive
- Themen und Lösungen state of the art (Digital Change),
- attraktive und leistungsorientierte Vergütung,
- fachliche und persönliche Weiterentwicklung,
- wertschätzendes und teamorientiertes Arbeitsumfeld sowie
- flexible Arbeitszeitgestaltung mit Möglichkeit zum Mobile Office.
Ihr Ansprechpartner
Stefan Raatz – 0171 222 76 12 s.raatz@leifeld-online.com
Leifeld GmbH & Co. KG Unternehmensberatung
Fasanenstraße 3
10623 Berlin
www.leifeld-online.com
Um sich für diesen Job zu bewerben, sende deine Unterlagen per E-Mail an s.raatz@leifeld-online.com