- 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
- 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.
- 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.
Softwareentwickler und Verifikationsexperte - Dresden, Deutschland - secunet
Beschreibung
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
Dein Profil
Unser Angebot