Mehr Jobs:
Software Developer & Verification - Anwendungsentwicklung, Ingenieur
in
01067, Dresden, Sachsen, Deutschland
Verfasst am 2026-01-02
Unternehmen:
secunet
Vollzeit
position Verfasst am 2026-01-02
Berufliche Spezialisierung:
-
Software Entwicklung
Software-Ingenieur
Stellenbeschreibung
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
- 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
- in der Intel x86-Architektur und Virtualisierung
- Sehr gute Deutsch- und gute Englischkenntnisse in Wort und Schrift runden Dein Profil ab.
- 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
Bitte beachten Sie, dass derzeit keine Bewerbungen aus Ihrem Zuständigkeitsbereich für diese Stelle über diese Jobseite akzeptiert werden. Die Präferenzen der Kandidaten liegen im Ermessen des Arbeitgebers oder des Personalvermittlers und werden ausschließlich von diesen bestimmt.
Um nach Stellen zu suchen, sie anzusehen und sich zu bewerben, die Bewerbungen aus Ihrem Standort oder Land akzeptieren, klicken Sie hier, um eine Suche zu starten:
Um nach Stellen zu suchen, sie anzusehen und sich zu bewerben, die Bewerbungen aus Ihrem Standort oder Land akzeptieren, klicken Sie hier, um eine Suche zu starten:
Suchen Sie hier nach weiteren Stellen:
×