Secunet Security Networks AG
01067 Dresden - Deutschland
Softwareentwickler/in
Arbeit
Vollzeit
ab 02.02.2026
Beschreibung
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.
### Deine Aufgaben | Du übernimmst:
- 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 ... weiter lesen
### Deine Aufgaben | Du übernimmst:
- 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 ... weiter lesen
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.
### Deine Aufgaben | Du übernimmst:
- 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
### Dein Profil | Du verfügst über
- ein erfolgreich absolviertes Hochschulstudium im Bereich der Informatik oder einen vergleichbaren Abschluss, oder eine Ausbildung mit entsprechender Berufserfahrung
- Kenntnisse oder Erfahrungen
- in der Softwareentwicklung, idealerweise im Bereich sicherheitsrelevanter Systemen
- Wir wünschen uns Kenntnisse
- in sicheren Programmiersprachen (Ada/SPARK, Rust, FRAMA-C, ...)
- in formalen Methoden (Isabelle, Coq, Why3, LEAN, SMT-Solving, ...)
- in Betriebssystemen, Mikrokernen, Separation Kernel, Linux
- in den Bereichen IT-Sicherheit, angewandte Kryptografie, Informationssicherheit wünschenswert
- in der Intel x86-Architektur und Virtualisierung
- Sehr gute Deutsch\- und gute Englischkenntnisse in Wort und Schrift runden Dein Profil ab.
### Unser Angebot
- **Echter Teamgeist**: Mitarbeit in Teams, die Veränderungen vorantreiben \- egal wie kompliziert und umfangreich Projekte sind
- **Gesellschaftliche Relevanz**: Wir arbeiten an Lösungen, die Gamechanger-Qualitäten haben \- auf allen Gebieten der IT-Sicherheit
- **Individuelle Weiterentwicklung**: Karriere ist bei uns kein Standardrezept. Wir entwickeln uns gemeinsam weiter und unterstützen Dich mit dem was Du für Dich brauchst um weiterzukommen
- **Der Mensch im Fokus**: In unserer Vielfalt liegt die Kraft. Wir respektieren uns gegenseitig so wie wir sind. Uns liegt zudem die Vereinbarkeit von Beruf, Familie und Privatleben am Herzen. Hier sind wir seit 2025 zertifiziert
- **Flexibles Arbeiten**: 12 Standorte in Deutschland, Mobile Office, Shared Desk-Modell, Vertrauensarbeitszeit und flexible Teilzeitmodelle. Da ist für jeden das passende Modell dabei
- **Sonne, Strand oder Berge**: Arbeiten im EU-Ausland? Kein Problem \- Du kannst pro Jahr bis zu 20 Tage remote innerhalb der EU arbeiten
- **Schöne Benefits obendrauf**: Freue Dich auf Bike-Leasing, Firmenfitness-Programm, vergünstigtes Jobticket, secudog und vieles mehr
### Dein Kontakt zu uns
secunet Security Networks AG
Frau Katrin Krause
Kurfürstenstraße 58
45138 Essen
Telefon: +49 201 5454-0
Wenn Du gern an der Spitze der technologischen Entwicklung arbeiten möchtest, in einem
Klima, das von Vertrauen und Fairness geprägt ist, sollten wir uns kennen lernen. Wir freuen
uns auf Deine vollständige Bewerbung, in der Du bitte Deine Kündigungsfrist, Deine
Gehaltsvorstellung sowie die Kennziffer **3300/F** angibst.
### Deine Aufgaben | Du übernimmst:
- 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
### Dein Profil | Du verfügst über
- ein erfolgreich absolviertes Hochschulstudium im Bereich der Informatik oder einen vergleichbaren Abschluss, oder eine Ausbildung mit entsprechender Berufserfahrung
- Kenntnisse oder Erfahrungen
- in der Softwareentwicklung, idealerweise im Bereich sicherheitsrelevanter Systemen
- Wir wünschen uns Kenntnisse
- in sicheren Programmiersprachen (Ada/SPARK, Rust, FRAMA-C, ...)
- in formalen Methoden (Isabelle, Coq, Why3, LEAN, SMT-Solving, ...)
- in Betriebssystemen, Mikrokernen, Separation Kernel, Linux
- in den Bereichen IT-Sicherheit, angewandte Kryptografie, Informationssicherheit wünschenswert
- in der Intel x86-Architektur und Virtualisierung
- Sehr gute Deutsch\- und gute Englischkenntnisse in Wort und Schrift runden Dein Profil ab.
### Unser Angebot
- **Echter Teamgeist**: Mitarbeit in Teams, die Veränderungen vorantreiben \- egal wie kompliziert und umfangreich Projekte sind
- **Gesellschaftliche Relevanz**: Wir arbeiten an Lösungen, die Gamechanger-Qualitäten haben \- auf allen Gebieten der IT-Sicherheit
- **Individuelle Weiterentwicklung**: Karriere ist bei uns kein Standardrezept. Wir entwickeln uns gemeinsam weiter und unterstützen Dich mit dem was Du für Dich brauchst um weiterzukommen
- **Der Mensch im Fokus**: In unserer Vielfalt liegt die Kraft. Wir respektieren uns gegenseitig so wie wir sind. Uns liegt zudem die Vereinbarkeit von Beruf, Familie und Privatleben am Herzen. Hier sind wir seit 2025 zertifiziert
- **Flexibles Arbeiten**: 12 Standorte in Deutschland, Mobile Office, Shared Desk-Modell, Vertrauensarbeitszeit und flexible Teilzeitmodelle. Da ist für jeden das passende Modell dabei
- **Sonne, Strand oder Berge**: Arbeiten im EU-Ausland? Kein Problem \- Du kannst pro Jahr bis zu 20 Tage remote innerhalb der EU arbeiten
- **Schöne Benefits obendrauf**: Freue Dich auf Bike-Leasing, Firmenfitness-Programm, vergünstigtes Jobticket, secudog und vieles mehr
### Dein Kontakt zu uns
secunet Security Networks AG
Frau Katrin Krause
Kurfürstenstraße 58
45138 Essen
Telefon: +49 201 5454-0
Wenn Du gern an der Spitze der technologischen Entwicklung arbeiten möchtest, in einem
Klima, das von Vertrauen und Fairness geprägt ist, sollten wir uns kennen lernen. Wir freuen
uns auf Deine vollständige Bewerbung, in der Du bitte Deine Kündigungsfrist, Deine
Gehaltsvorstellung sowie die Kennziffer **3300/F** angibst.
Ref-Nr.: 7950816
Aktualisiert:
06.02.2026
Quelle: Bundesagentur für Arbeit
weitere Infos Rechtliche Hinweise zur Nutzung
Ob die Stelle noch verfügbar ist und weitere Informationen findest du direkt auf der Website der Bundesagentur für Arbeit. Bitte beachte: OPROMA ist nicht der Anbieter dieser Stelle und kann keine Auskünfte geben.
weitere Infos Rechtliche Hinweise zur Nutzung
Ob die Stelle noch verfügbar ist und weitere Informationen findest du direkt auf der Website der Bundesagentur für Arbeit. Bitte beachte: OPROMA ist nicht der Anbieter dieser Stelle und kann keine Auskünfte geben.
Passende Jobvorschläge
Basierend auf Beruf und Standort
Basierend auf Beruf und Standort
Passende Jobs für dich
E.ON Grid Solutions GmbH
Hamburg
Befristeter Vertrag
Elsner Elektronik GmbH
Ostelsheim bei Stuttgart
Feste Anstellung
INC Innovation Center GmbH
Aachen
Feste Anstellung
