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
- Marktgerechtes Gehalt: Dich erwartet ein Jahreszielgehalt ab 70.000 € brutto - je nach Qualifikation und Berufserfahrung auch darüber hinaus – bestehend aus einem attraktiven Fixum und einer leistungsbezogenen Tantieme.
- 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
Elektromonteur (m/w/d)
Stellendetails Du bist als Elektromonteur gerne direkt im Einsatz, arbeitest lösungsorientiert und möchtest spannende Projekte aktiv mitgestalten? Dann bist du bei uns genau richtig! Für unser wachse…
Business Development Manager (m/w/d) - Quereinsteiger willkommen!
Bold Academy GmbH Über die Bold Academy Als zertifizierter Bildungsträger vermitteln wir in neun Monaten die erforderlichen Kompetenzen, um unsere Absolventen zu begehrten Fachkräften im digita…
Automatisierungsingenieur (m/w/d) in Direktvermittlung
Ihr Gestaltungsbereich * Planung und Entwicklung von Automatisierungslösungen * Programmierung und Anpassung von SPS-Steuerungen wie Siemens TIA Portal oder Beckhoff TwinCAT * Erstellung und Integra…
Praktikant (m/w/d) im Bereich Online-Marketing
Seit 2012 bündeln wir unsere Kompetenzen und Ressourcen als avalia GmbH & Co. KG. Durch unser Wissen, unsere Erfahrungen und unsere Netzwerke unterstützen wir Unternehmen bei der Umsetzung ihrer Visi…
Finanzbuchhalter (m/w/d) in der Dresdner Neustadt
Eine gut organisierte Finanzbuchhaltung schafft die Grundlage für wirtschaftliche Stabilität und fundierte Entscheidungen. Mit Ihrer Erfahrung sorgen Sie dafür, dass Geschäftsvorfälle zuverlässig ver…
Pflegefachkraft (m/w/d) in Vollzeit - Willkommen im DRK-Team!
Über uns Herzlich willkommen beim Ambulanten Pflegedienst des Deutschen Rotes Kreuzes Soziale Dienste Dresden! Seit den 90er Jahren sind wir für unsere Klient:innen unterwegs. Wir versorgen in Dresd…
Techniker Instandhaltung Halbleiterfertigung (m/w/d)
Techniker Instandhaltung Halbleiterfertigung (m/w/d) - Vollzeit | Dresden Im Auftrag unseres Partnerunternehmens in Dresden suchen wir Sie zum nächstmöglichen Zeitpunkt als „Techniker Instandhaltu…
Sozialpädagog*in für Therapeutische Fünf-Tages-Wohngruppe
Die Gemeinnützige Gesellschaft Striesen Pentacon e.V. arbeitet seit über 35 Jahren in den Bereichen der Jugendhilfe, betreibt eine Begegnungsstätte für Senior*innen sowie unterschiedliche Beratungsst…
finanzbuchhalter (m/w/d).
Sie möchten sich beruflich weiterentwickeln und suchen eine neue Herausforderung in Dresden? Dann haben wir genau die passende Vakanz für Sie. Als erfahrener Finanzbuchhalter oder versierte Finanzbuc…
Inbetriebnahme Techniker Anlagenbau (m/w/d)
Unser Mandant ist ein innovatives Unternehmen im Anlagenbau mit internationaler Ausrichtung. Das Unternehmen entwickelt und realisiert komplexe Systeme für die Reinst- und Abwasseraufbereitung sowie …