Sr. Flight Software Verification Engineer

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.

As a Sr. 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.

All applicants are asked to provide documentation that legally establishes status as a U.S. person or non-U.S. person (and nationalities in the case of a non-U.S. person). Where the applicant is not a U.S. person, meaning not a (i) U.S. citizen or national, (ii) U.S. lawful permanent resident, (iii) refugee under 8 U.S.C. § 1157, or (iv) asylee under 8 U.S.C. § 1158, or not otherwise permitted to access the export-controlled technology without U.S. government authorization, the Company reserves the right not to apply for an export license for such applicants whose access to export-controlled technology or software source code requires authorization and may decline to proceed with the application process and any offer of employment on that basis.

At Reliable Robotics, our goal is to be a diverse and inclusive workforce. As an Equal Opportunity Employer, we do not discriminate on the basis of race, religion, color, creed, ancestry, sex, gender (including pregnancy, childbirth, breastfeeding, or related medical conditions), gender identity, gender expression, sexual orientation, age, non-disqualifying physical or mental disability or medical conditions, national origin, military or veteran status, genetic information, marital status, or any other basis covered by applicable law. All employment and promotion is decided on the basis of qualifications, merit, and business need.