Key Responsibilities
- 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
Certification & Standards Knowledge
- 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
