Engineer, Lead Software Verification

Howell Instruments
Fort Worth, TX, United States
5 days ago
Apply on www.indeed.com
Prepare application

Role details

Contract type
Permanent contract
Employment type
Full-time (> 32 hours)
Experience level
Expert
Experience required
5 years minimum
Working hours
Regular working hours
Job source

Tech stack

Testing (Software) Configuration Management Code Coverage Computer Engineering Formal Verification Real-Time Operating Systems Software Engineering Software Requirements Analysis Software Quality Assurance (SQA) Software Testing Automation Framework Software Verification Information Technology
+1 more
DO-178B

Job description

We are seeking an experienced Senior Software Verification Engineer to lead software verification activities for safety-critical avionics systems developed in accordance with DO-178C. The successful candidate will be responsible for planning, designing, developing, executing, and reporting software verification activities for Design Assurance Level (DAL) A projects.

This role requires deep expertise in software verification processes, structural coverage analysis, requirements-based testing, certification support, and team leadership. The ideal candidate will serve as the technical lead for software verification efforts and will mentor and develop a team of software test engineers to achieve compliance with the highest levels of aviation software assurance., * Lead all software verification activities for DO-178C DAL A projects.

  • Develop and execute comprehensive requirements-based verification strategies fore airborne software.
  • Lead structural coverage activities for DAL A software.
  • Lead, mentor, and develop a team of software verification engineers.
  • Support Stage of Involvement (SOI) audits and certification reviews.

Requirements

  • Education: Minimum Bachelor of Science in Computer Engineering, Software Engineering, Computer Science, or related technical discipline.
  • Experience: 8 years software verification, software test, or software quality assurance in safety critical environments, 5 years working on DO-178B or DO-178C projects.
  • Skills: Demonstrated experience leading software verification efforts for at least one DO-178C DAL A or DAL B certification program.
  • Skills: Experience developing requirements-based tests from software requirements.
  • Skills: Experience in performing structural coverage analysis, including MC/DC coverage.
  • Skills: Experience generating and reviewing certification evidence and compliance data.
  • Skills: Strong understanding of software development, life cycle processes and verification methodologies.
  • Skills: Excellent technical leadership, communication, and mentoring skills.
  • Preferred: Experience with aviation certification, DO-330 tool qualification processes, model-based development and verification environments, embedded real-time software and avionics systems, test automation frameworks, configuration management and change control processes.

Benefits & conditions

We offer an excellent benefits package, including life insurance, comprehensive medical and dental plan, profit sharing and retirement plan, paid holidays, vacation and PTO. Salary will be commensurate with experience, education and ability.

Apply for this position

This job is hosted externally. Click below to view the full posting and apply.

Apply on www.indeed.com
Prepare application

Good distractions

Talks and stories from around this role — technically off-topic, practically not.

3:20 min

Certifying safety-critical automotive software and deploying progressive testing strategies

David Romić · World Congress 2023

2:49 min

Comparing software testing and software verification

Onur Kasimlar Onur Kasimlar · World Congress 2025

5:32 min

Avoiding the trap of testing private code for coverage

Golo Roden · World Congress 2021

1:39 min

Speaker introduction and software engineering background

Daniel Raniz Raneland · LIVE

2:56 min

Test automation strategy and following the testing pyramid

Daniel Strmečki +1 · World Congress 2022

4:05 min

Analyzing different code coverage metrics and limitations

Michael Contento · World Congress 2023

Videos

See all

Related articles

See all