Safety-Critical Software Engineer
Unknown+
🏠
🇬🇧
Witney, England, UK
Safety-Critical Software Engineer designing and building certifiable embedded systems for autonomous flight, working with SPARK Ada and C++ on runtime assurance and safety monitoring, and focusing on DO-178C compliance, verification, and high-integrity software for aerospace and defence platforms.
AdaC++