Software Verification Engineer

Software Verification Engineer Job Description

About Us:

Safe Flight, a leader in aviation safety and flight performance systems, was founded in 1946. The company pioneered the development of Stall Warning and Angle of Attack, Automatic Throttle Systems, Wind Shear Warning, and many other innovations in aircraft instrumentation, flight performance, and control systems for fixed and rotary winged aircraft. With product installed on over two-thirds of the world s aircraft, Safe Flight counts among its customers the majority of the world s aircraft manufacturers, more than 50 airlines, hundreds of operators of corporate jet aircraft and U.S. and International Armed Services.

Safe Flight s benefits include employer-funded health care, on-site lunch program, 401K contribution, Wellness and Education Reimbursement, paid-time off and sick time, and various other programs.

Job Summary:

We are seeking a highly motivated and skilled Software Verification Engineer to join our dynamic team. The ideal candidate will have a strong background in software verification, with a focus on safety-critical embedded systems, to satisfy DO-178C. As a Software Verification Engineer, you will play a crucial role in the verification of software, ensuring it meets high standards of quality, safety, and reliability.

Duties/Responsibilities:

• Create and review Python automatic test scripts for requirements-based test cases and procedures for embedded software.
• Create software verification life cycle data (test cases, test procedures, test results, etc.).
• Review and verify high and low-level software requirements to ensure compliance to DO-178C.
• Perform software analyses, requirements-based testing and perform structural coverage analysis of airborne software.
• Generate plans, standards, guidelines and methods related to software verification.
• Contribute to continuous improvement of processes to increase safety and efficiency.

Required Skills/Abilities:

• Proven software verification experience in black box and white box environments.
• Proficiency in Python.
• Fluent in C.
• Excellent verbal and written communication skills.
• Excellent organizational skills and attention to detail.
• Full Life Cycle critical software complying with standards like RTCA DO-178C, ISO 26262.
• Experience in developing verification strategies and test environments including hardware in the loop.
• Experience of tool qualification (RTCA DO-330)
• Experience of commercial tools such as provided by LRDA, Vector Software for V&V activities.

Education and Experience:

• Bachelor of Science degree in Computer Science, Computer Engineering, Software Engineering, Electrical Engineering, or an equivalent degree/experience.
• Minimum of 3 years of hands-on experience in software verification.

Other duties

Please note this job description is not designed to cover or contain a comprehensive listing of activities, duties or responsibilities that are required of the employee for this job. Duties, responsibilities and activities may change at any time with or without notice.

Equal Opportunities Employer

Safe Flight provides equal employment opportunities to all employees and applicants for employment and prohibits discrimination and harassment of any type without regard to race, color, religion, age, sex, national origin, disability status, genetics, protected veteran status, sexual orientation, gender identity or expression, or any other characteristic protected by federal, state or local laws.

This policy applies to all terms and conditions of employment, including recruiting, hiring, placement, promotion, termination, layoff, recall, transfer, leaves of absence, compensation and training.