Stage en formalisation pour la spécification et l’architecture logicielle

À propos du poste

Intégrez le département 1YYW Avionics Software d’Airbus Commercial à Toulouse et participez à la modernisation des processus de spécification et d’architecture des logiciels avioniques critiques.

Missions principales

• Construire un dictionnaire de données partagé entre les artefacts de spécification, d’architecture, de programmation et de vérification.
• Formaliser, éventuellement avec l’aide de LLM, des exigences fonctionnelles dans un langage fonctionnel typé d’ordre supérieur (Rocq, F*, Lean, Idris) afin d’automatiser les processus avals.

Profil recherché

• Étudiant(e) en Master 2 ou 5ᵉ année d’école d’ingénieur en informatique ou domaine équivalent.
• Compétences techniques souhaitées : scripting, analyse syntaxique, compilation, modélisation en AADL ou SysML, notions de logique temporelle (LTL, CTL), familiarité avec des langages fonctionnels à types dépendants (Rocq, Lean, F*, Idris).
• Soft‑skills : esprit d’équipe, proactivité, autonomie.
• Langues : anglais avancé, français avancé.

Compétences requises

• Scripting
• Analyse syntaxique et compilation
• Modélisation AADL
• Modélisation SysML
• Logique temporelle (LTL, CTL)
• Langages fonctionnels typés d’ordre supérieur (Rocq, Lean, F*, Idris)