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

Embedded Software Test Engineer Witney, Oxfordshire Hybrid - 3 days a week on-site (Commutable from Oxford, Carterton, Burford, Chipping Norton, Faringdon, Abingdon, Swindon and Cirencester) £50,000 - £60,000 + Hybrid Working + SPARK Ada Training + Formal Methods Exposure + Technical Ownership Are you an Embedded Software … certified autonomous flight? This is an excellent opportunity to join a growing specialist autonomy-assurance business, where you will help shape the verification of embedded software used across flight-critical control, runtime safety and mission-assurance systems. Founded to solve one of the biggest barriers to autonomous-system adoption ...