Safety Critical Software Engineer

Electus Recruitment Solutions; Witney; On-site; GBP 51,000 - 69,000; Full time

Job summary

Electus Recruitment Solutions is seeking a Software Engineer in Oxfordshire for a role focused on embedded safety-critical systems in autonomous platforms. You will design and develop software across embedded environments, contributing to verification and certification activities within a high-integrity setting.

You should have a strong embedded background with C, C++, and Ada experience, plus familiarity with real-time systems and safety-critical development processes.

Qualifications

• Embedded software engineering background with real-time or embedded systems experience.
• Proficient in C, C++, and Ada or similar languages.
• Experience in safety-critical environments and high-integrity software development.

Responsibilities

• Design and develop safety-critical embedded software.
• Support runtime assurance and autonomous system safety.
• Contribute to verification, integration, and certification activities.

Skills

Embedded software

C

C++

Ada

Real-time systems

Job description

Location: Oxfordshire

Salary: c£60K

Working Pattern: Hybrid

A rapidly growing technology business is developing assurance and safety capabilities for next generation autonomous systems and is expanding its specialist engineering team.

Working across embedded software, autonomy, aerospace and safety critical engineering, the organisation is developing technology designed to provide confidence in autonomous systems operating within highly regulated environments.

The Role

As a Software Engineer, you will contribute to the design, development, verification and certification of embedded safety critical systems supporting autonomous platforms.

You will work across:

• Safety critical embedded software development
• Runtime assurance and safety monitoring
• Autonomous flight and mission systems

Key Responsibilities

• Design and develop safety critical embedded software
• Develop software supporting runtime assurance and autonomous system safety
• Contribute to software architecture, integration, verification and certification activities

What We're Looking For

• Strong embedded software engineering background with experience in C, C++, Ada or similar languages
• Experience working within safety critical environments with real time or embedded systems
• Understanding of high integrity software development, verification and validation

Desirable Experience

• Ada or SPARK Ada and DO 178C experience
• Aerospace, defence, autonomous systems, flight control or avionics software experience
• UAV, UAS, drone, eVTOL, ROS, ROS2, MAVLink, PX4, ArduPilot, model based development or formal methods

Why Consider It?

This is an opportunity to work on technology addressing one of the major challenges facing autonomous systems, how to make increasingly capable systems safe, reliable and trusted enough for real world deployment.

You will be working alongside a specialist engineering team developing technology with applications across autonomous aviation, defence, drones and next generation autonomous vehicles.

Location: Oxfordshire

Salary: c£60K

Working Pattern: Hybrid