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

quality and assurance activities Support integration and deployment Produce clear technical documentation Experience required Strong embedded software engineering background Commercial experience with C, C++, Ada or similar Experience developing software within regulated or safety-critical environments Real-time or embedded systems experience Understanding of software testing and verification Desirable Experience ...

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

will work alongside experienced engineers on technically challenging projects, with opportunities to expand your expertise through training and development in specialist technologies, including SPARK Ada and formal verification. If you are passionate about safety-critical engineering and want to help shape the future of trusted autonomous systems, this could ...

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

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