Software Verification Engineer

Job Description

• Perform independent verification of software requirements, design, and implementation in accordance with DO-178C
• Analyze and review HLR, LLR, and design artifacts for correctness, completeness, consistency, and testability
• Develop requirements-based test cases and procedures for Unit, SIL, and HIL environments
• Execute test cases, analyze results, investigate anomalies, and produce verification evidence
• Perform requirement coverage analysis and ensure full traceability
• Conduct structural coverage analysis including code coverage (Statement, Branch, MC/DC)
• Perform Data and Control Coupling Coverage (DCCC) analysis
• Support Worst Case Execution Time (WCET) analysis activities
• Conduct and participate in formal reviews, including:
• Test case and procedure reviews
• Test script reviews
• Test result reviews
• Code reviews
• Maintain verification documentation and compliance artifacts

Qualifications & Experience:

• Bachelor's or Master's degree in Aerospace, Electronics/Electrical Engineering, Computer Engineering, or a related discipline.
• 8–10 years of experience in avionics or safety-critical software verification
• Strong programming and scripting skills in C and Python
• Hands-on experience with Unit, SIL, and HIL test environments
• Experience with requirements-based testing and traceability tools
• Familiarity with coverage analysis tools and techniques
• Strong analytical, debugging, and problem-solving skills
• Excellent documentation and review skills

• Strong understanding of the DO-178C software lifecycle, objectives, and integral processes
• Experience working on DAL A programs preferred
• Exposure to DO-330 (Tool Qualification) and DO-331 (Model-Based Development)
• Familiarity with certification audits and compliance evidence preparation