Ada Software Engineer

Yoh; United Kingdom; Hybrid; GBP 59,000 - 72,000; Full time

Job summary

Yoh is seeking an Ada/SPARK Software Engineer for a Bath-based role offering hybrid working (2-3 days onsite) and a circa £65,000 salary. You will join a specialist engineering organisation developing high-integrity software for safety-critical applications across industries, contributing to requirements, design, development, verification and validation throughout the lifecycle.

The role requires commercial experience with Ada and SPARK, a strong understanding of safety-critical lifecycles and

Qualifications

• Commercial experience developing software using Ada and SPARK.
• Strong understanding of the safety-critical software development lifecycle.
• Experience across requirements, development and/or test.
• Exposure to safety-critical or highly regulated environments.
• Knowledge of standards such as IEC 61508, EN 50128, ISO 26262, DEF STAN 00-55 or DO-178.
• A methodical approach to problem-solving and software quality.

Responsibilities

• Involved throughout the software development lifecycle, contributing to requirements, design, development, integration, verification and validation activities alongside software, systems and test engineers.

Skills

Ada

SPARK

Safety-critical lifecycle

Regulated environments

Job description

Ada/SPARK Software Engineer

Bath Circa 65,000 Hybrid Working (2-3 Days Onsite)

Most software engineers spend their careers moving quickly.

This role is for someone who understands that some software only gets one chance to be right.

A specialist engineering organisation at the forefront of safety-critical software engineering is looking for an Ada/SPARK Software Engineer to join a team developing high-integrity software for some of the world's most demanding applications.

Their work spans a broad range of industries, from satellites and sub-modular reactors to aerospace, automotive, medical devices and life sciences. Regardless of the application, the challenge remains the same: build software that performs exactly as intended, every time.

You’ll be involved throughout the software development lifecycle, contributing to requirements, design, development, integration, verification and validation activities alongside software, systems and test engineers.

The environment is structured, technical and engineering-led. Quality, traceability and compliance are fundamental to success.

What they're looking for

• Commercial experience developing software using Ada and SPARK.
• Strong understanding of the safety‑critical software development lifecycle.
• Experience across requirements, development and/or test.
• Exposure to safety‑critical or highly regulated environments.
• Knowledge of standards such as IEC 61508, EN 50128, ISO 26262, DEF STAN 00-55 or DO-178.
• A methodical approach to problem‑solving and software quality.
• UK working rights and the ability to obtain BPSS security clearance.

Why apply?

For the right engineer, this is an opportunity to work on software where correctness, reliability and safety genuinely matter. You’ll join experienced engineering teams solving technically challenging problems in an environment that values engineering rigour over shortcuts.

Please note that visa sponsorship is not available for this position.