Safety-Critical Embedded Systems Engineer – Autonomous Flight in Witney

Safety-Critical Embedded Systems Engineer – Autonomous Flight in Witney

Witney Full-Time 50000 - 70000 Β£ / year (est.) No working from home possible
S

At a Glance

  • Tasks: Design and certify safety-critical embedded software for autonomous flight systems.
  • Company: SAIF Autonomy, a leader in autonomous technology.
  • Benefits: Competitive salary, flexible working hours, and opportunities for professional growth.
  • Other info: Collaborative environment with a focus on innovation and safety.
  • Why this job: Join a cutting-edge team and contribute to the future of autonomous flight.
  • Qualifications: Experience in SPARK Ada/C/C++ and knowledge of high-integrity processes.

The predicted salary is between 50000 - 70000 Β£ per year.

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.

#J-18808-Ljbffr

Safety-Critical Embedded Systems Engineer – Autonomous Flight in Witney employer: SAIF Autonomy

At SAIF Autonomy, we pride ourselves on being an exceptional employer, offering a dynamic work culture that fosters innovation and collaboration in the field of autonomous flight. Our commitment to employee growth is evident through continuous training opportunities and a supportive environment that encourages professional development. Located in a cutting-edge facility, our team enjoys access to state-of-the-art resources and the chance to work on groundbreaking projects that make a real impact in safety-critical systems.

S

Contact Details:

SAIF Autonomy Recruitment Team

We think you need these skills to ace Safety-Critical Embedded Systems Engineer – Autonomous Flight in Witney

SPARK
Ada
C
C++
Safety-Critical Software Development
Runtime Assurance
Verification