Software Developer und Verification Expert (m/w/d)

Unser Kunde ist ein führendes Unternehmen im Bereich Cybersecurity, das sich auf die Entwicklung widerstandsfähiger digitaler Infrastrukturen spezialisiert hat. In einer zunehmend vernetzten Welt bietet das Unternehmen Lösungen, die höchsten Sicherheitsstandards gerecht werden und Unternehmen bei der digitalen Transformation unterstützen. Für die Abteilung Software Development & Verification in der Division Defence & Space suchen wir einen engagierten Software Developer und Verification Expert. In dieser Rolle sind Sie verantwortlich für die Entwicklung komponentenbasierter Systeme, insbesondere sicherheitskritischer Komponenten. Sie werden hauptsächlich mit den Programmiersprachen Ada und SPARK 2014 arbeiten und formale Methoden anwenden, um kritische Eigenschaften von vertrauenswürdigen Komponenten nachzuweisen. Ihre Aufgaben umfassen die Integration von Hardware- und Softwareanteilen in das Gesamtprodukt, die Unterstützung bei Tests, Fehleranalysen sowie die Erstellung von Dokumentationen. Sie werden Teil eines dynamischen Teams, das an innovativen Projekten arbeitet und die Möglichkeit hat, sich kontinuierlich weiterzuentwickeln.

Der ideale Kandidat verfügt über ein erfolgreich abgeschlossenes Hochschulstudium im Bereich Informatik oder einen vergleichbaren Abschluss sowie relevante Berufserfahrung. Eine Promotion in einem verwandten Themenbereich ist wünschenswert, jedoch nicht zwingend erforderlich. Sie sollten Kenntnisse oder Erfahrungen in der Softwareentwicklung, insbesondere im Bereich sicherheitsrelevanter Systeme, mitbringen. Umfassende Kenntnisse in sicheren Programmiersprachen wie Ada, SPARK, Rust oder FRAMA-C sowie in formalen Methoden wie Isabelle, Coq oder SMT-Solving sind von Vorteil. Erfahrungen in der Betriebssystementwicklung, insbesondere mit Mikrokernen und Linux, sind ebenfalls wünschenswert. Zudem sollten Sie über Kenntnisse in IT-Sicherheit und angewandter Kryptographie verfügen. Sehr gute Deutsch- und gute Englischkenntnisse in Wort und Schrift sind erforderlich. Persönliche Eigenschaften wie Teamfähigkeit, analytisches Denken und eine hohe Motivation zur kontinuierlichen Weiterbildung runden Ihr Profil ab.