3 of 3 Ada Jobs in the Thames Valley

software for autonomous and complex engineering systems. Develop software components supporting runtime assurance, safety monitoring, and autonomous system safety. Develop high-integrity software using Ada, SPARK Ada, and associated development toolchains. Contribute to the definition and development of software architectures suitable for highly regulated and certifiable autonomous systems. Work closely … Will Need to Apply: Strong background in embedded software engineering, ideally within safety-critical or highly regulated environments. Experience developing software using C, C++, Ada, or similar programming languages. Previous experience working within safety-critical engineering environments. Strong understanding of high-integrity software development processes. Experience developing software for real ...

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