Stage en Formalisation & Architecture Logicielle (6 mois)

Airbus Aircraft; Toulouse; Sur place; EUR 12 000 - 18 000; Plein temps

Résumé du poste

Airbus Operations SAS recherche un stagiaire en Formalisation pour la spécification et l’architecture logicielle (h/f) sur le site de Toulouse, Saint Martin du Touch. Vous intégrez le département 1YYW Avionics Software et étudierez des formalismes de spécification liés aux logiciels avioniques.

Durée de 6 mois, début mars, avec missions de construire un dictionnaire de données et de formaliser des exigences fonctionnelles dans des langages typés, assisté par LLM, afin d’automatiser partiellement

Qualifications

• Master 2 en informatique ou équivalent exigé.
• Compétences en scripting, analyse syntaxique et compilation.
• Notions de modélisation en AADL/SysML.
• Connaissance de formalisation de propriétés (LTL/CTL) souhaitée.
• Connaissances en langages fonctionnels typés (Rocq, Lean) recommandées.
• Anglais et Français avancés.

Responsabilités

• Constituer un dictionnaire de données partagé entre artefacts.
• Formaliser des exigences fonctionnelles dans un langage typé pour automatiser des processus.
• Participer à l’étude des formalismes et à leur applicabilité au contexte avionique.

Connaissances

Scripting

Analyse syntaxique

SysML

AADL

Rocq

Lean

Anglais avancé

Français avancé

Formation

Master 2 informatique / école d'ingénieur

Outils

SysML

Rocq

Lean

Idris

Description du poste

Airbus Operations SAS recherche un stagiaire en Formalisation pour la spécification et l’architecture logicielle (h/f) sur le site de Toulouse, Saint Martin du Touch. Vous intégrez le département 1YYW Avionics Software et étudierez des formalismes de spécification liés aux logiciels avioniques.

Durée de 6 mois, début mars, avec missions de construire un dictionnaire de données et de formaliser des exigences fonctionnelles dans des langages typés, assisté par LLM, afin d’automatiser partiellement