STAGE 2027 Formalisation pour la spécification et l’architecture logicielle

Prestwick Aerosystems; Goyrans; Sur place; EUR 8 900 - 12 000; Plein temps

Résumé du poste

Airbus Operations SAS propose un stage en Formalisation pour la spécification et l’architecture logicielle (h/f) au sein du département 1YYW Avionics Software, à Toulouse.

Le stage vise à étudier des formalismes de spécification et d’architecture logicielle afin d’automatiser partiellement certaines activités et de construire un dictionnaire de données partagé entre artefacts.

Qualifications

• Étudiant en Master 2 ou 5e année d'école d'ingénieur en informatique.
• Compétences techniques : scripting, analyse syntaxique et modélisation en langages semi-formels (AADL, SysML).
• Notions de formalisation de propriétés en logique temporelle (LTL, CTL) et de modélisation en langages fonctionnels à types dépendants (Rocq, Lean, Idris).
• Bonnes aptitudes relationnelles et autonomie.

Responsabilités

• Construction d’un dictionnaire de données partagé entre les artefacts utilisés pour spécification, l’architecture, la programmation et la vérification des logiciels.
• Formalisation d’exigences fonctionnelles dans des langages formels afin d’automatiser des portions des processus avals.

Connaissances

Scripting

Analyse syntaxique

AADL/SysML

Logique temporelle

Types dépendants

Formation

Master 2 / école d'ingénieur informatique

Outils

Rocq

Lean

Idris

SysML

Description du poste

Job Description

Envie de déployer vos ailes ? Et si votre aventure commençait avec nous ? Quel que soit le métier de vos rêves, nous avons peut-être le stage qu’il vous faut ! Vous êtes étudiant(e) et à la recherche d'un stage ou d'une année de césure vous permettant de valider votre diplôme et qui fera décoller votre carrière ? Imaginez-vous au cœur d’une entreprise reconnue à l’international, implantée sur tous les continents du monde et riche d’une diversité de parcours, d’expertise et de culture. Tournée vers le digital, à la pointe de la recherche et de l’innovation, vous avez l’opportunité de faire partie de cette aventure passionnante.

Votre mission, si vous l'acceptez : Une offre de stage intitulée « Stage en Formalisation pour la spécification et l’architecture logicielle (h/f) » vient de s'ouvrir au sein de Airbus Commercial sur son site de Toulouse, Saint Martin du Touch.. Vous rejoindrez le département « 1YYW Avionics Software» en charge de la conception, le développement, la production et le support des produits embarqués critiques (par exemple, les commandes de vol, l'alerte de vol, la communication, l'équipement de maintenance) pour tous les avions Airbus. Votre stage consistera à: Les spécifications de nombreux logiciels avioniques sont décrites sous la forme d’un ensemble d’exigences fonctionnelles exprimées en langage naturel. La structure de l’implantation de ces logiciels est décrite par un ensemble de diagrammes informels complétés de descriptions en langage naturel. Les processus avals de développement et de vérification de ces logiciels sont basés sur ces artefacts informels. Ils nécessitent donc des ré-interprétations intellectuelles des spécifications et de l’architecture. Le but du stage est d’étudier des formalismes de spécification et d’architecture logicielle (e.g. AADL, SysML, Stimulus, TRLC), et leur applicabilité au contexte de ces logiciels avioniques, pour des objectifs de court, moyen et long terme. Un premier objectif de court terme est la construction d’un dictionnaire de données partageable entre les artefacts utilisés pour spécification, l’architecture, la programmation et la vérification des logiciels, afin de supporter l’automatisation partielle de certaines activités avals. Un objectif de long terme est la formalisation (possiblement assistée par LLM) d’exigences fonctionnelles dans un langage fonctionnel typé d’ordre supérieur (e.g. Rocq, F*, Lean, Idris) de manière à automatiser de manière sûre une fraction croissante des processus avals. Ce stage, d'une durée de 6 mois, débutera idéalement en mars (cette période est indicative et pourra être ajustée).

Vos principales missions consisteront à:

• construction d’un dictionnaire de données partageable entre les artefacts utilisés pour spécification, l’architecture, la programmation et la vérification des logiciels
• formalisation (possiblement assistée par LLM) d’exigences fonctionnelles dans un langage fonctionnel typé d’ordre supérieur (e.g. Rocq, F*, Lean, Idris) de manière à automatiser de manière sûre une fraction croissante des processus avals

Votre tuteur ou tutrice vous accompagnera tout au long de votre stage, vous aidant à développer vos compétences et à atteindre vos objectifs professionnels. Ce stage vous permettra notamment de développer les compétences suivantes :

• spécification, architecture, programmation et vérification de logiciels
• formalisation d’exigences fonctionnelles

Votre carte d’embarquement pour cette aventure :

Vous êtes actuellement en Master 2, 5ème année d'école d'ingénieur en informatique ou un domaine équivalent. Vous possédez idéalement les compétences suivantes :

• Compétences techniques : scripting, analyse syntaxique et compilation notions de modélisation en langages semi-formels (AADL, SysML) si possible, notions de formalisation de propriétés en logique temporelle ( LTL, CTL) si possible, notions de modélisation en langages formels fonctionnels à types dépendants (Rocq, Lean)
• Soft Skills : Esprit d'équipe Proactivité Autonomie
• Langues : Anglais :Avancé Français : Avancé

This job requires an awareness of any potential compliance risks and a commitment to act with integrity, as the foundation for the Company’s success, reputation and sustainable growth.

Company: Airbus Operations SAS

Employment Type: Internship

Experience Level: Student

Job Family: Software Engineering

We welcome all applications irrespective of social and cultural background, age, gender, disability, sexual orientation or religious belief.

Airbus is, and always has been, committed to equal opportunities for all.

As such, we will never ask for any type of monetary exchange in the frame of a recruitment process. Any impersonation of Airbus to do so should be reported to [e-mail].

At Airbus, we support you to work, connect and collaborate more easily and flexibly. Wherever possible, we foster flexible working arrangements to stimulate innovative thinking.

Airbus pioneers sustainable aerospace for a safe and united world. The Company constantly innovates to provide efficient and technologically-advanced solutions in aerospace, defence, and connected services. In commercial aircraft, Airbus offers modern and fuel-efficient airliners and associated services. Airbus is also a European leader in defence and security and one of the world's leading space businesses. In helicopters, Airbus provides the most efficient civil and military rotorcraft solutions and services worldwide.

From sending your resume to participating in successful interviews, here you can access all important pieces of information to guide you in your candidate journey.