2 of 2 Permanent Ada Jobs in Witney

Practical knowledge of high-integrity development lifecycles and strict software safety processes. Systems Languages : Proficiency in low-level, high-reliability languages (e.g., C, C++, Ada, or formal verification languages). Desirable Experience Experience with formal methods or mathematically verifiable software frameworks. Exposure to high-level system safety standards across ...

develop safety-critical embedded software for autonomous systems. Build software components supporting runtime assurance and autonomous system safety. Develop high-integrity software using SPARK Ada and associated toolchains. Support software architecture definition for certifiable autonomous systems. Contribute to the development of DAL-A and DAL-B capable software solutions. Support … integration across mission computers, flight control systems and safety monitoring functions. Required Experience Strong background in embedded software engineering. Experience working with C, C++, Ada or similar languages. Experience working within safety-critical environments. Knowledge of high-integrity software development processes. Experience with real-time or embedded systems. Familiarity with ...