Job
- Level
- Erfahren
- Ort
- Berlin, Dresden
- Arbeitsmodell
- Hybrid, Onsite
- Job Feld
- IT, Software, Security
- Anstellung
- Vollzeit
- Vertragsart
- Unbefristetes Dienstverhältnis
Job Zusammenfassung
In dieser Position entwickelst du sicherheitskritische Komponenten mit Ada/SPARK 2014, unter Verwendung formaler Methoden, und integrierst sie in komplexe Systeme. Zudem unterstützt du Tests und Fehleranalysen.
Job Technologien
Deine Rolle im Team
- Du bist zuständig für die Entwicklung Komponenten-basierter Systeme, insbesondere sicherheitskritische Komponenten.
- Hierbei mit der primären Verwendung von Ada/SPARK 2014 und der Anwendung formaler Methoden zum Nachweis kritischer Eigenschaften von vertrauenswürdigen Komponenten.
- Du übernimmst die Integration in das aus Hardware- und Softwareanteilen bestehende Gesamtprodukt und unterstützt bei Tests, Fehleranalysen und der Fehlerbeseitung, ebenso die Erstellung von Dokumentationen.
Unsere Erwartungen an dich
Ausbildung
- Du verfügst über ein erfolgreich absolviertes Hochschulstudium im Bereich der Informatik, einen vergleichbaren Abschluss oder entsprechende Berufserfahrung.
Qualifikationen
- Eine Promotion in relevanten Themenstellungen ist wünschenswert, aber nicht erforderlich.
- Sehr gute Deutsch- und gute Englischkenntnisse in Wort und Schrift.
Erfahrung
- Kenntnisse oder Erfahrungen in der Softwareentwicklung, idealerweise im Bereich sicherheitsrelevanter Systeme.
- Umfangreiche Kenntnisse oder Erfahrungen in einem oder mehreren Themengebieten: sichere Programmiersprachen (Ada/SPARK, Rust, FRAMA-C, ...), formalen Methoden (Isabelle, Coq, Why3, LEAN, SMT-Solving, ...), Betriebssystementwicklung insbesondere Mikrokerne, Separation Kernel, Linux, IT-Sicherheit, angewandte Kryptographie.
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, 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.
Benefits
Work-Life-Integration
Themen mit denen du dich im Job beschäftigst
Job Standorte
Das ist dein Arbeitgeber
Secunet
secunet ist einer der führenden deutschen Anbieter für anspruchsvolle IT-Sicherheit. Im engen Dialog mit seinen Kunden - Unternehmen, Behörden und internationalen Organisationen - entwickelt secunet leistungsfähige Produkte und fortschrittliche IT-Sicherheitslösungen. Damit sichert secunet nicht nur IT-Infrastrukturen für seine Kunden, sondern erzielt intelligente Prozessoptimierungen und schafft nachhaltige Mehrwerte.
Description
- Unternehmensgröße
- 50-249 Employees
- Unternehmenstyp
- Etablierte Firma
- Arbeitsmodell
- Full Remote, Hybrid, Onsite
- Branche
- Internet, IT, Telekom
Arbeitgeber-Reviews
von devworkplaces.com
Gesamt
(1 Bewertung)3.5
Career Growth
3.6Culture
3.7Engineering
2.5Workingconditions
4.4
Softwareentwickler
- Ort
- Berlin, Dresden
- Arbeitsmodell
- Hybrid, Onsite
- Diversität
- Für alle Personen geeignet (m/w/d)
