Ada Software Engineer

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.
• Experi...