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
Softwareentwickler (m/w/d) DevOps
- Implementierung und Weiterentwicklung Continuous Integration - Administrieren von Software- und Systemlandschaften - Entwickeln von neuen Konzepten und Technologien für zukünftige DevOps Software …
Mechatroniker (m/w/d)
22 bis 25 Euro pro Stunde Du verstehst als Mechatroniker (m/w/d) in Berlin etwas von Technik und hast Spaß daran? Wir haben eine spannende Jobchance für Dich! Wenn Du als Mechatroniker (m/w/d)…
Geld- und Werttransport(m/w/d)-Übertarifliche Vergütung
Sie (wollten) schon immer einen Transporter mit einer Menge Bargeld fahren und dafür auch noch bezahlt werden? Dann bewerben Sie sich jetzt auf unsere Stelle als Geld- und Werttransportfahrer Bewe…
Datenbankadministrator (m/w/d) - Ingenieur, System Engineering / Admin, Datenbankentwicklung/BI
Ihre Aufgaben Bereitstellung und Administration von Datenbanken Sicherstellung der Performance und Fehlerbehebung sowie regelmäßiges Monitoring Optimierung von Abfragen zur Performancesteige…
Junior Sales Development Representative (m/w/d)
Über Sharpist Wir sind ein schnell wachsendes Start-up mit einem maßgeschneiderten digitalen Produkt, das auf 1:1-Coaching basiert und entwickeln uns stetig weiter, um unseren Kunden messbare Ergebn…
Fachkraft für Sozialarbeit - Wohnungslosenhilfe (m/w/d)
PerZukunft - Ihre private und zertifizierte Arbeitsvermittlung hilft Ihnen bei der Aufnahme einer neuen, für Sie geeigneten Tätigkeit! Ab sofort sind wir auf der Suche nach einem Sozialarbeiter m/w/d…
Office-Management und Assistenz der Geschäftsführung (m/w/d) in Berlin
Office-Management und Assistenz der Geschäftsführung (m/w/d) Standort: Berlin | Start: ab sofort | Teilzeit 30,00 h Über uns Wir sind WEKO – ein seit über 30 Jahren etabliertes IT-Beratu…
Ausbildung Koch 2026 (w/m/d)
Zum 1. August 2026 suchen wir dich für die 3-jährige Ausbildung zum Koch (w/m/d) bei der Deutschen Bahn AG am Standort Berlin. Die Berufsschule (Brillat-Savarin-Schule) befindet sich in Berlin-Pankow…
Mitarbeiter/in - Pharmazeutische Analytik (m/w/d)
Gestalten Sie mit uns die Zukunft der Bioanalytik - in einem starken internationalen Netzwerk. Die AZ Biopharm GmbH ist ein seit über 20 Jahren etabliertes Unternehmen und Teil der ViridusLab-Gruppe .…