3 of 3 Ada Jobs in the Thames Valley

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 Test Engineer or Software Verification Engineer from a safety-critical or regulated ...

+ Specialist Training + Technical Progression + High Ownership + Hybrid Working Are you an Embedded Software Engineer with experience in C, C++ or Ada looking to develop safety-critical technology for next-generation autonomous systems? This is an excellent opportunity to join an early-stage, mission-led engineering business … architecture. You will work closely with verification and certification engineers to support future DO-178C DAL A/B objectives. Specialist training in SPARK Ada will be provided. Previous safety-critical or aerospace experience would therefore be beneficial but is not essential for an accomplished embedded engineer who wants ...

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. Work closely with verification and certification teams to achieve regulatory compliance. Contribute … their platform from prototype capability to enterprise deployment. Must-Have Experience Strong background in embedded, real-time software engineering. Experience working with C, C++, Ada or similar languages. Experience working within safety-critical environments. Knowledge of high-integrity software development processes. Familiarity with safety standards and regulated development environments. Understanding ...