Flight Software Verification Engineer
Verifies safety-critical embedded flight software for autonomous aircraft: you'll shape and implement the DO-178C verification strategy, build test tooling, qualify tools per DO-330, and test software against real flight hardware in the lab and on the plane. Core stack: C/C++ with requirements-based unit and hardware-in-the-loop testing.
- Compensation
- $160K–$210K / yr
- Location
- Remote
- Work setup
- Remote
- Seniority
- Not specified
- Employment
- Full time
- Experience
- 5+ years
- Category
- Not specified
- Posted
Skills
Must have
- 5+ years experience with C or C++
- Experience in safety-critical verification of software to achieve DO-178C objectives or comparable standard
- Experience with requirements-based testing in unit test and Hardware-In-The-Loop environments
- Bachelor's Degree in Computer Science, Aerospace Engineering, or equivalent experience
Nice to have
- Experience in defining software verification strategy for DO-178C programs
- Experience leading test framework tooling development
- Experience with tool qualification for DO-178C/DO-330
- Excellent written and verbal communication skills
Full description
We're building safety-enhancing technology for aviation that will save lives. Automated aviation systems will enable a future where air transportation is safer, more convenient and fundamentally transformative to the way goods — and eventually people — move around the planet. We are a team of mission-driven engineers with experience across aerospace, robotics and self-driving cars working to make this future a reality.
Flight Software Verification Engineer
As a Flight Software Verification Engineer at Reliable Robotics, you will be a key contributor to verification of embedded software that works with sensors & control systems, robustly handles system faults, and integrates with other vehicle subsystems. You’ll work directly with flight hardware in the lab and on the plane, plan flight testing, and watch your verified software fly an aircraft. Our Flight Software teams are deeply involved in all aspects of the development, verification, and certification of the Reliable Robotics autonomy stack, and play a central role in bringing our aircraft to life.
Responsibilities
- Be a key contributor to the DO-178C verification strategy and implementation
- Create tooling to provide an effective and compliant environment for software verification
- Oversee and author test development
- Perform tool qualification in accordance with DO-178C/DO-330
Basic Success Criteria
- 5+ years experience with C or C++
- Experience in safety-critical verification of software to achieve DO-178C objectives or comparable standard
- Experience with requirements based testing in unit test and Hardware-In-The-Loop environments
- Bachelor's Degree in Computer Science, Aerospace Engineering, or equivalent experience
Preferred Criteria
- Experience in defining software verification strategy for DO-178C programs
- Experience leading test framework tooling development
- Experience with tool qualification for DO-178C/DO-330
- Excellent written and verbal communication skills
Flight Software links together the mechanical, avionics, algorithmic, and embedded worlds to actually make the airplane fly. The core nature of the role offers the opportunity to interact with teams and components across the entire automated aircraft and to specialize in the areas most exciting to you.
This position requires access to information that is subject to U.S. export controls. An offer of employment will be contingent upon the applicant’s capacity to perform in compliance with U.S. export control laws.