Safety-Critical Embedded Systems Engineer – Autonomous Flight

SAIF Autonomy; Witney; On-site; GBP 60,000 - 90,000; Full time

Job summary

SAIF Autonomy is seeking engineers to design and certify safety-critical embedded software for autonomous platforms. You will work on runtime assurance, verification and certified autonomy across mission and flight-critical systems.

The role focuses on SPARK Ada/C/C++ development, high-integrity processes, and collaboration with verification teams to meet DO-178C level A/B objectives.

Qualifications

• Strong background in embedded software engineering.
• Experience with safety-critical environments.
• Knowledge of high-integrity software development processes.
• Familiarity with verification and validation methodologies.

Responsibilities

• Design and develop safety-critical embedded software for autonomous systems.
• Support runtime assurance and safety architectures.
• Develop high-integrity software using SPARK Ada and C/C++.
• Assist with certifiable system software architecture definitions.
• Collaborate with verification and certification teams for regulatory compliance.
• Contribute to DAL-A and DAL-B capable software solutions.
• Interface with mission computers and flight control systems.
• Participate in software safety analyses and design assurance activities.
• Scale the platform from prototype to enterprise deployment.

Skills

Embedded software

C/C++/Ada

Real-time systems

Safety-critical

Verification & validation

Software architecture

Ada/SPARK Ada

Certification processes

Tools

SPARK Ada

Job description

SAIF Autonomy is seeking engineers to design and certify safety-critical embedded software for autonomous platforms. You will work on runtime assurance, verification and certified autonomy across mission and flight-critical systems.

The role focuses on SPARK Ada/C/C++ development, high-integrity processes, and collaboration with verification teams to meet DO-178C level A/B objectives.