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

brainchild GmbH; Manching; Vor Ort; EUR 60.000 - 80.000; Vollzeit

Zusammenfassung

Ein innovatives Engineering-Dienstleistungsunternehmen in Manching sucht einen Software Engineer für ARINC653 Scheduler, um moderne Softwarelösungen in sicherheitskritischen Echtzeitsystemen zu entwickeln. Anforderungen sind fundierte Kenntnisse in Ada und C, sowie Erfahrung mit ARINC 653 und sicherheitskritischen Umgebungen. Flexibles Arbeiten und umfassende Sozialleistungen werden angeboten.

Leistungen

Flexible Arbeitszeiten

Möglichkeit zum mobilen Arbeiten

30 Tage Urlaub

Moderne Arbeitsumgebung

Zuschuss zur betrieblichen Altersvorsorge

Attraktive Gesundheitsleistungen

Qualifikationen

• Abgeschlossenes Studium in Informatik oder einem vergleichbaren Bereich.
• Fundierte Kenntnisse in Ada und C, inkl. Sprachbindungen.
• Erfahrung mit ARINC 653 und a653lib-Bibliothek.

Aufgaben

• Entwicklung eines ARINC 653-Schedulers.
• Integration und Erweiterung der Open-Source-Bibliothek a653lib.
• Entwicklung von Ada-zu-C-Bindings für ARINC 653-Schnittstellen.

Kenntnisse

Kenntnisse in Ada

Kenntnisse in C

Erfahrung mit ARINC 653

Sicherer Umgang mit Linux-Prozessen

Erfahrung mit Compiler-Toolchains (GNAT-LLVM)

Erfahrung in sicherheitskritischen Umgebungen

Sehr gute Englischkenntnisse

Ausbildung

Studium in Informatik, Technischer Informatik, Elektrotechnik oder vergleichbar

Tools

GNAT-LLVM

libwasmtime

a653lib

Jobbeschreibung

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: [phone]
Email: [e-mail]