Software Developer & Verification Expert (m/w/d)
Software Developer & Verification Expert (m/w/d)
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
- 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
Empfohlene Jobs
C# Softwareentwickler (m/w/d) in Dresden
Bei unserem namhaften Kunden aus dem Bereich Energie- und Wasserwirtschaft ergibt sich diese interessante Perspektive als Softwareentwickler (m/w/d). Unser Kunde hat sich am Standort Dresden und Umge…
Steuerberater (m/w/d)
Wir suchen genau dich, wenn du neben den Zahlen auch die Menschen dahinter im Kopf hast. Wenn du uns nicht nur mit fachlicher Kompetenz, sondern auch mit Freude, Empathie und Passion unterstützt. Wir…
CNC-Dreher (m/w/d)
Unser Angebot: Sie erhalten eine sichere Anstellung mit fairer Bezahlung nach dem iGZ/DGB-Tarifvertrag. Zusätzlich zahlen wir je nach Einsatz auch Branchenzuschläge. Wir bieten Ihnen gute Arbeits…
Anlagenmechaniker (m/w/d)
Die Firma Alexander Heink , 1982 von Georg Heink gegründet und seitdem in Familienbesitz, ist ein mittelständisches Unternehmen mit langjähriger Expertise im Bereich Sanitär-, Heizungs- und Klimate…
Web Application Backend Developer (m/w/d) bis zu 7.500€ brutto
Über uns: Willkommen bei Astriol academics - deine Tür zu neuen und spannenden Karrierechancen in ganz Deutschland! Astriol academics ist einer der am schnellsten wachsenden Personalvermittler in…
Tischlerhelfer (m/w/d) - Möbelmontage
Du bist handwerklich geschickt und hast Freude an der Arbeit mit Holz? Dann suchen wir Sie als Tischlerhelfer (m/w/d) für einen Einsatz in einem renommierten Dresdner Betrieb. Das dürfen Sie erw…
DevOps Engineer (m/w/d)
~ Arbeitszeitkonto mit Überstundenausgleich ~35 Stunden / Woche ~30 Urlaubstage ~ Homeoffice-Möglichkeit für die ideale Work-Life-Balance ~ Attraktive Mitarbeiterrabatte bei Top-Anbietern ~ …
Search Specialist Web/Shop Projekte (all genders) - Ingenieur, Projektmanagement
adesso steht für IT-Exzellenz und damit auch für exzellente Entwicklungsmöglichkeiten für alle adessi. Wir wachsen gemeinsam und lernen voneinander – an unseren Projekten, im Team und mit herausragen…
Jobangebot: Animateure für die Sommersaison 2026 in Italien - Vivateam sucht Dich!
Vivateam sucht motivierte Animateurinnen und Animateure für die Sommersaison 2026 in traumhaften Ferienanlagen, Resorts und Feriendörfern in Italien. Auch ohne Vorerfahrung bist du herzlich willkomm…
Elektroingenieur im Vertrieb für Funkmodule und Sensoren (m/w/d) - IT, Projektmanagement
Dein spannendes Aufgabenfeld Du kannst beides: Technik und Vertrieb! Denn du berätst mit Leidenschaft und hast ein Gespür für die Bedürfnisse deiner anspruchsvollen Kunden! Mit deiner Begeisterung…