Ada-Software Engineer – Aviation (m/w/d)

Software Engineer - ARINC653 Scheduler, Ada-C/WASM (m/w/d)

Join to apply for the Software Engineer - ARINC653 Scheduler, Ada-C/WASM (m/w/d) role at brainchild GmbH .

Gestalte mit uns die Zukunft der Technologie bei brainchild! Seit 2007 steht brainchild für Innovation, Leidenschaft und technische Exzellenz. Als Engineering‑Dienstleistungsunternehmen entwickeln wir hochkomplexe Lösungen für anspruchsvolle Branchen, von der Luftfahrt über Automotive bis hin zur Medizintechnik. Wir sind ein Team aus kreativen Köpfen, die Forschen, Entwickeln und Gestalten lieben, immer mit dem klaren Ziel: Technologie besser, sicherer und zukunftsfähiger zu machen.

Über das Projekt: Zusammen mit unserem Partner aus dem Luft‑ und Raumfahrtbereich arbeiten wir an der Entwicklung und Integration moderner Softwarelösungen für sicherheitskritische Echtzeitsysteme im Luftfahrtumfeld. Dabei stehen die Gestaltung effizienter Systemarchitekturen, die Optimierung von Laufzeitumgebungen sowie die Einhaltung höchster Sicherheits‑ und Qualitätsstandards im Vordergrund.

Deine Aufgaben sind:

• Konzeption, Design und Implementierung eines ARINC 653‑Schedulers (Time Slicing, Multi‑Partition, Schedulingstrategien)
• Integration und Erweiterung der Open‑Source‑Bibliothek a653lib
• Entwicklung und Validierung von Ada‑zu‑C‑Bindings für ARINC 653‑Schnittstellen
• Umsetzung der Partitionierung auf Linux‑basierten Echtzeitumgebungen
• Einsatz von libwasmtime zur Ausführung von ARINC 653‑C‑Code als WebAssembly‑Modul
• Anpassung und Erweiterung von Compiler‑Toolchains (GNAT‑LLVM), inkl. Backend‑Erweiterungen für Ada‑zu‑Wasm
• Zusammenarbeit mit Systemingenieur:innen sowie Verifikations- und Validierungsteams

Das bringst du mit:

• Abgeschlossenes Studium in Informatik, Technischer Informatik, Elektrotechnik oder vergleichbar
• Fundierte Kenntnisse in Ada und C, inkl. Sprachbindungen und APEX‑Ports
• Erfahrung mit ARINC 653, a653lib‑Bibliothek und Ada‑zu‑C‑Bindings
• Sicherer Umgang mit Linux‑Prozessen und Partitionierung
• Erfahrung mit Compiler‑Toolchains (GNAT‑LLVM) und LLVM‑Backend, idealerweise für Ada‑zu‑Wasm‑Kompilierung
• Erfahrung mit libwasmtime zur Ausführung von ARINC 653‑fähigem C‑Code
• Erfahrung in sicherheitskritischen Umgebungen (Avionik, Raumfahrt, Militär) und Vertrautheit mit DO‑178C oder vergleichbaren Normen
• Sehr gute Englischkenntnisse; Deutschkenntnisse wünschenswert

Seniority Level

Mid‑Senior level

Employment Type

Full‑time

Job Function

Information Technology

Industries

Business Consulting and Services

Wir bieten dir

Spannende und innovative Projekte in einem dynamischen Umfeld, flexible Arbeitszeiten die zu deinem Leben passen, Möglichkeit zum mobilen Arbeiten, 30 Tage Urlaub, eine moderne Arbeitsumgebung inkl. höhenverstellbarer Schreibtischen sowie Weiterbildungs‑ und Aufstiegsmöglichkeiten. Einen zukunftssicheren Arbeitsplatz, Zuschuss zur betrieblichen Altersvorsorge und attraktive Gesundheitsleistungen, die deine Gesundheit und Wohlbefinden unterstützen.

Hast du das Zeug zum brainchild?

Wir freuen uns darauf, dich kennenzulernen! Bitte sende uns deine Bewerbung unter Angabe deines frühestmöglichen Eintrittstermins und deiner Gehaltsvorstellung.

Ansprechpartner

Tamara Steininger
Recruiting
brainchild GmbH
Öttinger Straße 19
84307 Eggenfelden
Telefon:
Email:

#J-18808-Ljbffr