Avionic System Verification Engineer - Stage

In the context of its Aerospace & High Tech Business Unit, TXT e-Tech is looking for an intern to be trained as an Avionic Software Engineer, who will be involved in the Integration, Verification, and Validation of Software for Safety-Critical Aerospace & Defence Systems and Projects.
Main responsibilities:
Development and execution of verification cases for integration/unit testing of safety-critical aerospace embedded systems;
Development of automated test sequences (using C/C++ or Simulink);
Participation in integration activities;
Preparation of technical documentation;
Involvement in the analysis of Aircraft Certification and Rig/Flight Testing results.
Required technical knowledge:
Knowledge of modeling languages (Simulink, SCADE, or equivalents);
Knowledge of avionics system operating principles.
Optional technical knowledge:
Knowledge of at least one structured programming language (C, C++, C#, Java, Javascript, Python, Visual Basic, Ada95, or s...