Software Verification Engineer (m/f/d)
The Software Verification Engineer (m/f/d) will lead verification activities for safety-critical Flight Controls Application Software, focusing on the platform layer that interfaces directly with hardware (e.g., device drivers, memory management, startup code). Responsibilities include executing verification tasks per DO-178C standards, producing detailed documentation, and collaborating with cross-functional teams. The ideal candidate has strong experience in software verification, static analysis, unit testing tools, and regulatory compliance, along with excellent communication and teamwork skills.
Perform software verification activities for flight control computer software in compliance with DO-178C, primarily at Level A/B
Develop and execute verification plans, test cases, and procedures based on software requirements and design
Conduct requirements-based testing (RBT) and structural coverage analysis (MC/DC, decision, and statement coverage)
Review and analyse hand-written source code for correctness, robustness, and compliance with coding standards
Prepare and maintain detailed documentation of verification activities, including requirements review, requirements-based test, test plans, test cases, and test reports
Work closely with software developers, systems engineers, and quality assurance teams to ensure integrated and comprehensive verification processes
Assist in the qualification of software tools used in the development and verification processes as per DO-330
Support problem reporting, debugging, and resolution of software anomalies
Identify opportunities for process improvements and implement best practices in software verification
University degree in aerospace engineering or similar courses of studies
5 years professional experience in aviation industry, with a focus on ARP-4754A/B, DO-178C and DO-331 standards
Experience with verification tools (e.g., VectorCAST, Polyspace, LDRA, RTRT, or Similar)
Hands-on experience writing and reviewing requirements, plans and standards in accordance with DO-178C, DO-331, as well as tool qualification process as per DO-330
Testing experience with simulations in host and target environments
Very good communication skills and ability to work in a team
Action Orientation, Ability to manage complexity, Situational Adaptability
Business fluent in English
