Overview
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.
Key Information
- Seniority Level
- Unknown+
- Locations
-
🇬🇧
Witney, England, UK
- Remote Friendly
- 🏠 Yes
- Languages
- AdaC++