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

secunet ist Deutschlands führendes Cybersecurity-Unternehmen. In einer zunehmend vernetzten Welt sorgt das Unternehmen mit der Kombination aus Produkten und Beratung für widerstandsfähige, digitale Infrastrukturen sowie den höchstmöglichen Schutz für Daten, Anwendungen und digitale Identitäten. secunet ist dabei spezialisiert auf Bereiche, in denen es besondere Anforderungen an die Sicherheit gibt – wie z. B. Cloud, IIoT, E-Government und E-Health. Mit den Sicher­heits­lösungen von secunet können Unternehmen höchste Sicher­heits­standards in Digi­tali­sierungs­projekten einhalten und damit ihre digitale Trans­formation vorantreiben.

Für unseren Entwicklungsbereich in der Division Defence & Space suchen wir für einen unserer Standorte in Berlin oder Dresden zum nächstmöglichen Zeitpunkt Deinen klugen Kopf.

• die Entwicklung Komponenten-basierter Systeme, insbesondere sicherheitskritische Komponenten; hierbei die primäre Verwendung von Ada / SPARK 2014
• die Anwendung formaler Methoden zum Nachweis kritischer Eigenschaften vertrauenswürdiger Komponenten
• die Integration in das aus Hardware- und Softwareanteilen bestehende Gesamtprodukt
• die Unterstützung bei Test, Fehleranalysen und Fehlerbeseitigung sowie die Erstellung von Dokumentationen
• ein erfolgreich absolviertes Hochschulstudium im Bereich der Informatik oder einen vergleichbaren Abschluss oder eine Ausbildung mit entsprechender Berufserfahrung
• Kenntnisse oder Erfahrung in der Softwareentwicklung, idealerweise im Bereich sicherheitsrelevanter Systemen
• wünschenswert sind Kenntnisse in :

sicheren Programmiersprachen (Ada / SPARK, Rust, FRAMA-C etc.)

Wenn Du gern an der Spitze der techno­lo­gischen Ent­wicklung arbeiten möchtest, in einem Klima, das von Ver­trauen und Fairness geprägt ist, sollten wir uns kennen­lernen.