Ada/SPARK Software Engineer – Hybrid, £65k
Yoh, A Day & Zimmermann Company · Bath
Job description
About the role
We are looking for an Ada/SPARK Software Engineer to join a specialist engineering organisation that develops high‑integrity, safety‑critical software for demanding applications across sectors such as aerospace, automotive, medical devices and life sciences. The role involves working on software that must be correct the first time, with a strong focus on quality, traceability and compliance.
Key responsibilities
- Participate in requirements gathering, design and development of Ada/SPARK code.
- Develop, integrate, verify and validate software components throughout the full lifecycle.
Required profile
- Commercial experience developing software using Ada and SPARK.
- Strong understanding of the safety‑critical software development lifecycle.
- Experience across requirements, development and/or test activities.
- Knowledge of safety standards such as IEC 61508, EN 50128, ISO 26262, DEF STAN 00‑55 or DO‑178.
- Methodical approach to problem‑solving and software quality.
- UK working rights and ability to obtain BPSS security clearance.
Required skills
- Ada programming language.
- SPARK language.
Questions fréquentes
Why are you reporting this job?
Explore further
Salaries, guides and searches in the United Kingdom.
Salaries by job title
Apply in 30 seconds
Enter your email to apply. An account will be created automatically.
By continuing, you accept our terms of use.
Already have an account? Login
Published 10 hours ago
Expires 1 day from now
1 views · 0 interested
Boost your chances
Upload your CV — we will match you with relevant openings.
Analyzing your CV...
Yoh, A Day & Zimmermann Company
Bath