SC Cleared Embedded ADA Software Engineer

We are recruiting for an SC Cleared Embedded ADA Software Engineer for a leading Defence organisation based in Bristol.
This is an on site role with the option of a 4 day compressed week.

Overview of department:
We work on technology that is at the forefront of European missile system design, delivering safe, secure, and reliable products to our customers.
The System software department covers all aspects of command and control software (C2) for both land and maritime missile systems.
We are expanding the Sea Viper and Sea Ceptor missile C2 team for the development of the next generation of advanced maritime air defence systems.

Responsibilities:
We work across the entire software engineering life cycle, from discussing requirement change with the Systems team, all the way to being involved with qualification and software releases.

Skillset required:
Essentials:
Experienced in Ada
SC cleared
Solid background in Safety critical SW from Def, aero, rail, nuclear or medical sectors.
The development is Safety critical, so a high standard of coding, process & documentation is required.

Good to have:
Formal design methods and tools: Doors, Dimensions, UML/SysML/Mascot
Experience in developing Linux and networking applications.

This is an umbrella contract, the role is Inside IR35.