3 of 3 Embedded Systems Jobs in Witney

They do all of this with no need for data or communications links, and they begin the journey by applying their tech to autonomous systems in the aerospace and land domains. The Role As part of a highly specialised engineering team, you will contribute to the design, development, verification … certification of embedded safety-critical systems that provide assurance and runtime safety functions across autonomous platforms. The platform is being developed providing mathematically verifiable software foundations suitable for the highest levels of safety assurance. Successful candidates will work across: Safety-critical embedded software development Runtime assurance architectures ...

They do all of this with no need for data or communications links, and they begin the journey by applying their tech to autonomous systems in the aerospace and land domains. Role As part of their highly specialised engineering team, you will contribute to the design, development, verification … certification of embedded safety-critical systems that provide assurance and runtime safety functions across autonomous platforms. Their platform is being developed providing mathematically verifiable software foundations suitable for the highest levels of safety assurance. Successful candidates will work across: Safety-critical embedded software development Runtime assurance architectures ...

develops advanced assurance and safety technologies that enable the safe deployment of autonomous and AI-enabled systems. Key Responsibilities Design and 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. … 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 ...