Software Engineer
Core
Design, develop, verify, and certify safety-critical embedded software for autonomous platforms, focusing on runtime assurance and flight safety.
Role type
Embedded safety-critical software engineer
Builds
Mathematically verifiable software foundations for autonomous systems in aerospace and land domains
Domain
Aerospace, autonomous systems, safety-critical embedded software
Required skills
Embedded real-time software engineering, C/C++/Ada programming, safety-critical environment experience, high-integrity software development processes, software verification and validation methodologies, regulatory compliance knowledge
Preferred skills
SPARK Ada development, DO-178C experience, ISO26262/IEC65108 knowledge, aerospace/defence/autonomous systems background, flight control/avionics software, UAV/UAS/drone/eVTOL platforms, runtime assurance systems, autopilot technologies (ROS/ROS2/MAVLINK/PX4/ArduPilot), model-based development, formal methods
Technologies
SPARK Ada, C, C++, Ada, ROS, ROS2, MAVLINK, PX4, ArduPilot
Responsibilities
Design and 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 to the development of DAL-A and DAL-B capable software solutions; Support integration across mission computers, flight control systems and safety monitoring functions; Participate in software safety analyses and design assurance activities; Help scale their platform from prototype capability to enterprise deployment
Seniority
Mid-level to Senior, hands-on IC