Stage en Formalisation et Architecture Logicielle

Prestwick Aerosystems; Toulouse; Hybride; EUR 12 000 - 17 000; Plein temps

Résumé du poste

Prestwick Aerosystems recrute un stagiaire pour la formalisation de la spécification et de l’architecture logicielle au sein du service Avionics Software à Toulouse. Le stage permettra de travailler sur des exigences fonctionnelles et des architectures critiques pour des systèmes embarqués avioniques.

Le candidat est en Master 2 informatique ou équivalent, avec des compétences en scripting, modélisation AADL/SysML et des notions de propriétés logiques (LTL/CTL).

Qualifications

• Master 2 informatique ou équivalent requis ou en cours.
• Compétences en scripting, analyse syntaxique et compilation exigées.
• Connaissance des langages formels et des outils AADL/SysML et propriétés logiques (LTL/CTL).

Responsabilités

• Construire un dictionnaire de données partagé entre les artefacts de spécification, architecture et vérification des logiciels.
• Formaliser des exigences fonctionnelles dans un langage fonctionnel typé (Rocq, Lean, Idris).
• Accompagner le processus de formation et aider à développer les compétences en spécification et vérification logicielles.

Connaissances

Scripting

Analyse syntaxique

Compilation

Modélisation AADL

SysML

Logique temporelle LTL/CTL

Langages fonctionnels (Rocq, Lean, Idr

Esprit d'équipe

Proactivité

Autonomie

Anglais avancé

Français avancé

Formation

Master 2 informatique ou équivalent

Outils

Rocq

Lean

Idris

Rocq/Lean/Idris

AADL

SysML

Description du poste

Prestwick Aerosystems recrute un stagiaire pour la formalisation de la spécification et de l’architecture logicielle au sein du service Avionics Software à Toulouse. Le stage permettra de travailler sur des exigences fonctionnelles et des architectures critiques pour des systèmes embarqués avioniques.

Le candidat est en Master 2 informatique ou équivalent, avec des compétences en scripting, modélisation AADL/SysML et des notions de propriétés logiques (LTL/CTL).