Safety-Critical Embedded Software Engineer

NET Recruit; England; On-site; GBP 54,000 - 66,000; Full time

Job summary

NET Recruit partners with a technology business seeking a Software Engineer to design and develop safety‑critical embedded software for autonomous systems. You will work on runtime assurance, safety monitoring, and high‑integrity software using Ada, SPARK Ada, and robust toolchains.

The role involves collaborating with verification, safety, and certification teams to meet stringent standards and evolve software architectures for regulated environments.

Qualifications

• Strong background in embedded software engineering, ideally within safety‑critical or highly regulated environments.
• Experience developing software using C, C++, Ada, or similar programming languages.
• Familiarity with safety standards and regulated software development environments.
• Experience with real‑time or embedded systems and software verification methodologies.

Responsibilities

• Design and develop safety-critical embedded software for autonomous and complex engineering systems.
• Develop software components supporting runtime assurance and safety monitoring.
• Develop high-integrity software using Ada, SPARK Ada, and associated toolchains.
• Contribute to software architectures suitable for highly regulated autonomous systems.
• Collaborate with verification, systems, safety, and certification teams throughout the lifecycle.
• Support software safety analysis and design assurance activities.

Skills

Embedded software

C/C++

Ada

SPARK Ada

Safety-critical

Real-time systems

Autonomous systems

Software verification

Certification

Runtime assurance

ROS/ROS2

Tools

ROS/ROS2

MAVLink

PX4

ArduPilot

Formal methods tools

Job description

NET Recruit partners with a technology business seeking a Software Engineer to design and develop safety‑critical embedded software for autonomous systems. You will work on runtime assurance, safety monitoring, and high‑integrity software using Ada, SPARK Ada, and robust toolchains.

The role involves collaborating with verification, safety, and certification teams to meet stringent standards and evolve software architectures for regulated environments.