2 of 2 Permanent Ada Jobs in Witney

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 ...

Contribute to software architecture, integration, verification and certification activities What We're Looking For Strong embedded software engineering background with experience in C, C++, Ada or similar languages Experience working within safety critical environments with real time or embedded systems Understanding of high integrity software development, verification and validation Desirable … Experience Ada or SPARK Ada and DO 178C experience Aerospace, defence, autonomous systems, flight control or avionics software experience UAV, UAS, drone, eVTOL, ROS, ROS2, MAVLink, PX4, ArduPilot, model based development or formal methods Why Consider It? This is an opportunity to work on technology addressing one of the major ...