Software Developer und 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.
Deine Aufgaben
- Entwicklung von Komponenten-basierten Systemen, insbesondere sicherheitskritischer Komponenten
- Verwendung von Ada / SPARK 2014 und Anwendung formaler Methoden zum Nachweis kritischer Eigenschaften von vertrauenswürdigen Komponenten
- Integration in das Gesamtprodukt aus Hardware und Software
- Unterstützung bei Tests, Fehleranalysen, Fehlerbehebung und Dokumentation
Dein Profil
- Erfolgreich abgeschlossenes Hochschulstudium der Informatik oder vergleichbarer Abschluss
- Kenntnisse oder Erfahrung in der Softwareentwicklung, idealerweise im Bereich sicherheitsrelevanter Systeme
- Umfangreiche Kenntnisse in sicheren Programmiersprachen (Ada / SPARK, Rust, FRAMA-C), formalen Methoden, Betriebssystementwicklung, IT-Sicherheit und angewandter Kryptographie
- Sehr gute Deutsch- und Englischkenntnisse
Unser Angebot
- Teamarbeit in innovativen Projekten
- Gesellschaftlich relevante Lösungen
- Individuelle Weiterentwicklungsmöglichkeiten
- Flexible Arbeitsmodelle und attraktive Benefits