Softwareentwickler und Verifikationsexperte (m/w/d)
Für unser hoch motiviertes Team in der Division Verteidigung suchen wir für unseren Standort in Dresden zum nächstmöglichen Zeitpunkt Ihren klugen Kopf.
Ihre Aufgabe

  • Entwicklung komponentenbasierter Systeme, insbesondere sicherheitskritische Komponenten in SPARK
  • Anwendung formaler Methoden zum Nachweis kritischer Eigenschaften vertrauenswürdiger Komponenten
  • Dokumentation, Integration, Test, Fehlerbeseitigung
  • Produktisierung von Komponenten und Systemen

Ihr Profil

  • Erfolgreich absolviertes Hochschulstudium im Bereich der Informatik, ein vergleichbarer Abschluss oder entsprechende Berufserfahrung
  • Kenntnisse/Erfahrung in Softwareentwicklung, idealerweise auch im Bereich sicherheitsrelevanter Systeme
  • Gute Kenntnisse in Betriebssystemen, Mikrokernen, Separation Kernel, Linux wünschenswert
  • Gute Kenntnisse der Intel x86-Architektur und Virtualisierung wünschenswert, aber nicht Voraussetzung
  • Kenntnisse in Ada/SPARK oder Software mit Nachweisanforderungen wünschenswert, aber nicht Voraussetzung
  • Gute Kenntnisse in IT-Sicherheit, angewandte Kryptografie, Informationssicherheit wünschenswert, aber nicht Voraussetzung
  • Gute Kenntnisse von Sicherheitsprodukten und Lösungen
  • Sehr gute Deutsch- und gute Englischkenntnisse in Wort und Schrift

Unser Angebot

  • Spannende Herausforderungen und eine Position mit großen Gestaltungsmöglichkeiten
  • Attraktive leistungsorientierte Vergütung sowie ansprechende Konditionen und Sicherheiten eines erfolgreichen Unternehmens
  • Vertrauensarbeitszeit

Wenn Sie gern an der Spitze der technologischen Entwicklung arbeiten möchten, in einem Klima, das von Vertrauen und Fairness geprägt ist, sollten wir uns kennen lernen.

Wir freuen uns auf Ihre vollständige Bewerbung, in der Sie bitte Ihre Kündigungsfrist, Ihre Gehaltsvorstellung sowie die Kennziffer 1209/F angeben.

Angebot drucken Seite drucken

Ihr Kontakt zu uns

secunet Security Networks AG
Nadine Knodel
Kurfürstenstraße 58
45138 Essen

Telefon: +49 201 5454-0