Ada/SPARK Software Engineer

Yoh Solutions Ltd — United Kingdom · Posted ~4 hours ago

Mid Full-time Hybrid Circa £65000

Skills

Ada SPARK Safety-critical software Software verification Software development lifecycle

🔓 Log in to save this job, tailor your resume & track your apply process — 7 days free, no card needed.

Log in to add to target list

Summary ✨ AI‑Generated

A specialist software engineering role focused on developing high-integrity systems where correctness and reliability are essential. The position involves design, implementation, testing, and verification of safety-critical software.

Highlights

Work on safety-critical engineering projects requiring high reliability and precision. Opportunity to contribute across the full software lifecycle in demanding technical environments.

Description

Ada/SPARK Software EngineerBath | 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 forCommercial 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. Yoh Solutions Ltd, a Day & Zimmermann Company, are specialist recruiters supporting advanced engineering teams across embedded software, wireless communications and electronics. LNKD1_UKTJ