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. 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 ..... full job details .....