development process - Implement effective documentation and automated target integration and proving - Explore new tools, techniques, and approaches to improve efficiency and sustainability - Potentially work with other languages such as Ada and QT, as well as DDS middleware and Real-Time Operating Systems - Ensure compliance with relevant standards, such as DefStan 00-55, DO-178C, or IEC61508, and restricted coding standards More ❯
Bristol, Avon, South West, United Kingdom Hybrid / WFH Options
Defence
software is developed in accordance with recognised safety standards and follows an established development and verification process. Assessing changes at the source code level, particularly those written in SPARK Ada, and reviewing associated static analysis and formal methods outputs. Producing clear and structured assessment reports suitable for a range of stakeholders, including systems and safety engineering experts. Essential Experience Strong More ❯
Bristol, Avon, South West, United Kingdom Hybrid / WFH Options
Anson Mccade
Excellent collaborator with quality communication skills capable of working cross departmentally Experience working across the entire development process is highly desirable Skills with other languages such as C or Ada is highly desirable but not essential This role will require candidates to be SC eligible - Checks will be completed by client This role will be primarily based on site in More ❯
