Software Developer & Verification Expert (m/w/d)
Software Developer & Verification Expert (m/w/d)
Für unsere Abteilung Software Development & Verification 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 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.
Dein Profil | Du verfügst über
- ein erfolgreich absolviertes Hochschulstudium im Bereich der Informatik, einen vergleichbarer Abschluss oder entsprechende Berufserfahrung
- eine Promotion in relevanten Themenstellungen ist wünschenswert, aber nicht erforderlich
- Kenntnisse oder Erfahrungen in der Softwareentwicklung, idealerweise im Bereich sicherheitsrelevanter Systeme
- umfangreiche Kenntnisse oder Erfahrungen in einem oder mehren 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
- sehr gute Deutsch- und gute Englischkenntnisse in Wort und Schrift
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
Empfohlene Jobs
CNC-Programmierer (m/w/d)
Das sind Ihre Aufgaben: Sie planen und erstellen die komplette Bearbeitungstechnologie für CNC‑Drehmaschinen – einschließlich der Auswahl und Bereitstellung erforderlicher Fertigungsmittel wie Vor…
Sachbearbeiter (m/w/d) im Einkauf
Du bist organisiert, kaufmännisch versiert und möchtest die Einkaufsprozesse eines Unternehmens aktiv unterstützen? Unser Kunde in Dresden sucht einen engagierten Sachbearbeiter, der Bestellungen prü…
IT-Spezialist Medientechnik (w/m/d)
Mit Deiner Expertise möchtest Du den IT Service von KPMG strategisch vorantreiben? Dann kannst Du Dich hier einbringen: Du analysierst und implementierst neue Medientechnologien zur kontinuierlich…
Bilanzbuchhalter (m/w/d)
FINEOO Inhaber Eric Martin Ansprechpartner Frau Anne Borchardt Telefon: 0351 2644 16 07 E-Mail: [email protected] Stellennr: 28197 Wir bieten: - Einfacher und reibungsloser Einsti…
Mitarbeiter Elektromontage (m/w/d)
Wir suchen zum nächstmöglichen Zeitpunkt Sie als Mitarbeiter Elektromontage (m/w/d) in Dresden zur Verstärkung unseres Teams. Wir bieten Dir: Übertarifliche Bezahlung vom 1. Tag an + Branchenzuschlä…
SAP Consultant - CPI (Mensch*) in Dresden
Please apply here on „ITsax.de“ with the „Apply Now“ link/button at the top right. Note: Please apply exclusively via our direct application link hosted by Empfehlungsbund and ITsax.de: . We are …
Tischler (m/w/d) Verpacker
Verstärken Sie unser Team! Zur unbefristeten Festanstellung bei uns und für König-Einsätze bei namhaften Kunden suchen wir Sie als Tischler (m/w/d) Vorteile, die wir bieten Unbefristeter …
Heizungsmonteur (m/w/d)
Wir bei ARWA Personaldienstleistungen GmbH haben Ihren neuen Traumjob als Heizungsmonteur (m/w/d) für Sie! In Dresden wartet bereits im Rahmen der Arbeitnehmerüberlassung Ihr neues Team auf Si…
Mitarbeiter (m/w/d) Vertriebsinnendienst
Du arbeitest serviceorientiert, behältst auch bei mehreren Vorgängen den Überblick und unterstützt den Vertrieb gern im Tagesgeschäft? Dann bist du hier genau richtig. Unser Kunde sucht einen Mitarbe…
Entwickler (m/w/d) in Dresden
Phyton und Rust sind Deine Welt? Hier bist Du ein Experte oder möchtest einer werden? Unser DataCenter-Team benötigt Deine Unterstützung, um unsere Dienste weiter zu automatisieren und unsere interne…