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

Requirements

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