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
Sicherheitsmitarbeiter in Berlin (m/w/d)
Du suchst einen stabilen Arbeitsplatz , klare Aufgaben und eine sinnvolle Tätigkeit mit Verantwortung? Dann werde Teil unseres professionellen Sicherheitsdienstes in Berlin. Wir bieten dir eine…
Maschinen- und Anlagenbediener (w|m|d) TASSIMO
Stellenbeschreibung Wir suchen Dich als Maschinen- und Anlagenbediener (w|m|d) für unseren Produktionsbereich von TASSIMO - Kaffeeprodukten. Arbeitsort: Berlin Neukölln, Nobelstraße 1, Deu…
Assistenz der Geschäftsführung (gn)
Über das Projekt Die Executive Assistents sind das Herzstück unserer Organisation: Als Assistenz der Geschäftsführung bist Du die zentrale Schnittstelle, an der alle Informationen zusammenfließen,…
Pflegefachkraft (m/w/d) - Familiäres Team sucht nach engagierten Kolleg:innen!
Über uns Herzlich willkommen im Haus Rixdorf! Unser Haus, mitten im lebendigen Berlin-Neukölln, bietet insgesamt 314 Pflegeplätze, die auf fünf gut strukturierte Wohnbereiche verteilt sind. Vier die…
Unser Team sucht Verstärkung in ET-Praxis im Herzen von BERLIN-Tempelhof
Für unsere etablierte Ergotherapiepraxis suchen wir ab sofort oder später eine(n) Ergotherapeut/in für Voll- oder Teilzeitbeschäftigung. In einem individuellen Gespräch können wir gern Wunsch…
Duales Studium B.Sc. in Midwifery (Hebammenwissenschaft) (m/w/d)
Duales Studium B.Sc. in Midwifery (Hebammenwissenschaft) (m/w/d) Dauer und Ziele Das Studium dauert 3,5 Jahre. Lernziele sind: eigenverantwortliche und wissenschaftsbasierte Ausübung des Heba…
Quereinsteiger gesucht - Datenmanager / Data Analyst (Power BI, Python, KI) - (m/w/d)
DataCraft GmbH DataCraft ist ein wichtiger Anbieter von Weiterbildung und Qualifizierung im Bereich der IT, Industrie 4.0, KI, Unity und digitaler Transformation. Unser Fokus liegt vor allem auf …
Werkstudent:in: Content- und Community-Manager (W/M/D)
Bringe Menschen zusammen, die zusammengehören – als Content- und Community Manager Helder ist eine Boutique-Agentur, die Leistung in strategische Markenleitbilder, Brand Design und Narrative übers…
Field Clinical Specialist Elektrophysiologie (m/w/d)
#Boston Scientific Seit 40 Jahren arbeitet Boston Scientific als weltweit führendes Medizintechnikunternehmen an dem Ziel, das Leben von Patienten zu verbessern. Täglich stellen wir uns den w…
Aushilfe (m/w/d) E-Bike-Store Berlin
Wir suchen dich! Wenn du genauso wie wir dafür brennst die Mobilität von morgen nachhaltiger zu gestalten, dann bist Du bei uns genau richtig! Wir begeistern Kunden: Du weißt, wie wir das Vertrauen…