Stage 2027 – Formalisation de la spécification et de l'architecture logicielle

À propos du poste

Airbus Commercial propose un stage de 6 mois, débutant idéalement en mars, au sein du département 1YYW Avionics Software, basé à Toulouse (Saint-Martin-du-Touch). Ce département conçoit, développe, produit et assure le support des logiciels embarqués critiques (commandes de vol, alerte de vol, communication, équipement de maintenance). Le stage porte sur l'étude de formalismes de spécification et d'architecture logicielle (AADL, SysML, Stimulus, TRLC) et leur applicabilité à ces logiciels avioniques.

Missions principales

• Construire un dictionnaire de données partagé entre les artefacts de spécification, d'architecture, de programmation et de vérification, afin de soutenir l'automatisation partielle des processus aval.
• Formaliser, de manière éventuellement assistée par LLM, les exigences fonctionnelles dans un langage fonctionnel typé d'ordre supérieur (Rocq, F*, Lean, Idris) pour automatiser de manière sûre une fraction croissante des processus aval.
• Développer les compétences en spécification, architecture, programmation et vérification de logiciels, ainsi que la formalisation d'exigences fonctionnelles.

Profil recherché

• Étudiant(e) en Master 2, 5e année d'école d'ingénieur en informatique ou domaine équivalent.
• Anglais et français avancés.
• Esprit d'équipe, proactivité et autonomie.

Compétences requises

• Scripting, analyse syntaxique et compilation.
• Notions de modélisation en langages semi-formels (AADL, SysML).
• Si possible : logique temporelle (LTL, CTL) et langages formels fonctionnels à types dépendants (Rocq, Lean).

Le recrutement se fait par candidature suivie d'un entretien vidéo, puis d'un entretien avec le manager. Le stage est proposé par Airbus Operations SAS.