Stage 2026-Évaluation d'écosystèmes de modélisation pour systèmes critiques (ALL GENDER) AIRBUS
Toulouse (31)Stage
Il y a 10 jours
Critères de l'offre
Expérience min :
- 1 à 2 ans
Secteur :
- Industries Aéro, Naval et Défense
Diplômes :
- Diplôme de grande école d'ingénieur
- + 1 diplôme
Compétences :
- Anglais
- Trade
- SCADE
- algorithmie
- SAS
- + 14 compétences
Lieux :
- Toulouse (31)
Conditions :
- Stage
- Temps Plein
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 «Évaluation d'écosystèmes de modélisation pour systèmes critiques (ALL GENDER)» vient de s'ouvrir au sein d' Airbus Operations SAS sur son site de Toulouse .
Vous rejoindrez le département « Produits avionique et commandes de vol (1YY) » en charge de la conception, du développement et de la validation des calculateurs embarqués critiques.
Votre stage consistera à : mener une étude comparative approfondie des écosystèmes SCADE , Matlab/Simulink et de notre outil interne Squid . L'objectif est d'évaluer leur positionnement respectif sur le compromis fondamental entre richesse d'expression et complexité de vérification , dans le contexte du développement de logiciels de contrôle et surveillance certifiés (DO-178C).
* Ce stage, d'une durée de 5 à 6 mois , débutera idéalement en Février/Mars 2026 (cette période est indicative et pourra être ajustée). *
Ce stage nécessite une habilitation de sécurité ou nécessite d'être éligible à une habilitation par les autorités reconnues.
*Vos principales missions consisteront à :*
* Analyser chaque écosystème (SCADE, le sous-ensemble embarqué de Simulink, Squid), incluant son langage et sa chaîne d'outils associée, pour évaluer le compromis 'expressivité vs vérifiabilité' pour la modélisation de logiciels synchrones.
* Comparer en détail les approches de modélisation des machines à états (SCADE SSM vs Stateflow), en étudiant leur rigueur formelle, la qualité du code généré et leur impact sur l'ensemble du workflow de vérification et certification (ex: couverture structurelle, preuve de propriétés, analysabilité WCET).
* Évaluer les capacités à exprimer des calculs matriciels complexes (type filtres de Kalman / réseaux de neurones), en étudiant les mécanismes natifs et les pistes d'extension pour les formalismes plus limités.
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 :
* Analyse critique du compromis expressivité/vérifiabilité dans les langages de modélisation formelle.
* Expertise technique sur la modélisation de machines à états et d' algorithmes numériques dans des environnements MBD.
* Compréhension des enjeux de la génération de code certifiable (contraintes DO-178C, analysabilité WCET, ...)
*
* Votre carte d'embarquement pour cette aventure : *
Vous êtes actuellement en 3ème année d'école d'ingénieur ou Master 1 en Génie Logiciel, Informatique, Systèmes Embarqués ou un domaine équivalent.
Vous possédez idéalement les compétences suivantes :
* Compétences techniques :
* Très bonnes connaissances en génie logiciel et en algorithmique .
* Une première expérience avec SCADE ou Simulink est requise.
* Des connaissances en langages formels, compilation ou analyse statique seraient un plus.
* Soft Skills :
* Esprit d'analyse, de synthèse et critique .
* Capacité de restitution claire et structurée .
* Langues :
* Anglais : Niveau avancé
* Français : Niveau courant
*Notre processus de recrutement :*
Votre candidature sera analysée attentivement par notre équipe de recrutement. Si votre profil correspond à nos attentes, vous
serez invité(e) à réaliser un entretien vidéo. Suite à cette étape, si votre candidature est retenue, elle sera alors proposée au
manager pour un entretien.
Envie de faire partie de l'aventure Airbus ? Postulez dès maintenant et rejoignez-nous !
-----------------------------------------------------------------------------------------------------------
Feeling ready to spread your wings ? What if your adventure started with us ?!
Whatever your dream job, we might have the *internship *for you !
Are you a student looking for an internship that will validate your degree and launch your career ? Imagine yourself at the heart of an *internationally recognized company*, established on every continent, and rich in diverse backgrounds, expertise, and cultures.
*Focused on digital* and at the* forefront of research and innovation*, you have the opportunity to be part of this exciting adventure.
*Your mission :*
An internship opportunity titled: «* Complementary Use Case for Frameworks Synergy (System Level) (ALL GENDER)*» has just opened at* Airbus Operations SAS *located in *Toulouse*. You will join the *Avionics & simulation domain *(1YY) in charge of the design, development, and validation of critical embedded computers.
Your internship will consist in: leading a comparative study of the *SCADE, Matlab/Simulink*, and our internal tool *Squid *ecosystems. The objective is to assess their respective positioning on the fundamental trade-off between* expressiveness and verifiability,* in the context of developing certified control and monitoring software (DO-178C, DO-330, DO-331).
Ideally, this is a *5 to 6-months* internship and it should start in *February/March 2026* (date subject to flexibility).
This position requires a security clearance or requires to be eligible for clearance by recognized authorities.
*Your main missions will consist of : *
• *Analyzing each ecosystem* (SCADE, the embedded subset of Simulink, Squid), including its language and associated toolchain, to evaluate the 'expressiveness vs. verifiability' trade-off for modeling synchronous software.
•* Comparing in detail the modeling approaches for state machines* (SCADE SSM vs. Stateflow), studying their formal rigor, the quality of the generated code, and their impact on the entire *verification and certification workflow *(e.g., structural coverage, property proving, WCET analyzability, ...).
• *Evaluating *the capabilities to express complex *matrix calculations* (such as Kalman filters / neural networks), by studying native mechanisms and potential extensions for the more limited formalisms.
Your tutor will support you identify your professional objectives and develop your skills.
*This internship will allow you to develop the following skills:*
• Critical analysis of the *expressiveness/verifiability *trade-off in formal modeling languages.
• Technical expertise in modeling *state machines and numerical algorithms* in MBD environments.
• Understanding of the challenges of *certifiable code generation* (DO-178C constraints, WCET analyzability).
*Your Boarding Pass:*
You are preparing a diploma level Bac+5 in Software Engineering, Computer Science, Embedded Systems (or equivalent).
You possess the following competences:
* *Technical skills :*
- Very good knowledge of software engineering and algorithms.
- Prior experience with SCADE or Simulink is required.
- Knowledge of formal languages, compilation, or static analysis would be a plus.
* *Soft Skills :*
- Analytical, synthesis, and critical thinking skills.
- Ability to present findings in a clear and structured manner.
* *Languages skills :*
- English: advanced
- French: fluent
*Our Recruitment Process :*
Your application will be reviewed by a recruiter. If your profile is matching the key requirements of the job, you will then be invited
to perform a short video interview to tell us about your background, motivations and your professional project. The result will be
assessed by a recruiter and your application will then be proposed to the manager for further review and interview.
Feeling ready to be part of the Airbus adventure ? Join us !
This job requires an awareness of any potential compliance risks and a commitment to act…
*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 «Évaluation d'écosystèmes de modélisation pour systèmes critiques (ALL GENDER)» vient de s'ouvrir au sein d' Airbus Operations SAS sur son site de Toulouse .
Vous rejoindrez le département « Produits avionique et commandes de vol (1YY) » en charge de la conception, du développement et de la validation des calculateurs embarqués critiques.
Votre stage consistera à : mener une étude comparative approfondie des écosystèmes SCADE , Matlab/Simulink et de notre outil interne Squid . L'objectif est d'évaluer leur positionnement respectif sur le compromis fondamental entre richesse d'expression et complexité de vérification , dans le contexte du développement de logiciels de contrôle et surveillance certifiés (DO-178C).
* Ce stage, d'une durée de 5 à 6 mois , débutera idéalement en Février/Mars 2026 (cette période est indicative et pourra être ajustée). *
Ce stage nécessite une habilitation de sécurité ou nécessite d'être éligible à une habilitation par les autorités reconnues.
*Vos principales missions consisteront à :*
* Analyser chaque écosystème (SCADE, le sous-ensemble embarqué de Simulink, Squid), incluant son langage et sa chaîne d'outils associée, pour évaluer le compromis 'expressivité vs vérifiabilité' pour la modélisation de logiciels synchrones.
* Comparer en détail les approches de modélisation des machines à états (SCADE SSM vs Stateflow), en étudiant leur rigueur formelle, la qualité du code généré et leur impact sur l'ensemble du workflow de vérification et certification (ex: couverture structurelle, preuve de propriétés, analysabilité WCET).
* Évaluer les capacités à exprimer des calculs matriciels complexes (type filtres de Kalman / réseaux de neurones), en étudiant les mécanismes natifs et les pistes d'extension pour les formalismes plus limités.
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 :
* Analyse critique du compromis expressivité/vérifiabilité dans les langages de modélisation formelle.
* Expertise technique sur la modélisation de machines à états et d' algorithmes numériques dans des environnements MBD.
* Compréhension des enjeux de la génération de code certifiable (contraintes DO-178C, analysabilité WCET, ...)
*
* Votre carte d'embarquement pour cette aventure : *
Vous êtes actuellement en 3ème année d'école d'ingénieur ou Master 1 en Génie Logiciel, Informatique, Systèmes Embarqués ou un domaine équivalent.
Vous possédez idéalement les compétences suivantes :
* Compétences techniques :
* Très bonnes connaissances en génie logiciel et en algorithmique .
* Une première expérience avec SCADE ou Simulink est requise.
* Des connaissances en langages formels, compilation ou analyse statique seraient un plus.
* Soft Skills :
* Esprit d'analyse, de synthèse et critique .
* Capacité de restitution claire et structurée .
* Langues :
* Anglais : Niveau avancé
* Français : Niveau courant
*Notre processus de recrutement :*
Votre candidature sera analysée attentivement par notre équipe de recrutement. Si votre profil correspond à nos attentes, vous
serez invité(e) à réaliser un entretien vidéo. Suite à cette étape, si votre candidature est retenue, elle sera alors proposée au
manager pour un entretien.
Envie de faire partie de l'aventure Airbus ? Postulez dès maintenant et rejoignez-nous !
-----------------------------------------------------------------------------------------------------------
Feeling ready to spread your wings ? What if your adventure started with us ?!
Whatever your dream job, we might have the *internship *for you !
Are you a student looking for an internship that will validate your degree and launch your career ? Imagine yourself at the heart of an *internationally recognized company*, established on every continent, and rich in diverse backgrounds, expertise, and cultures.
*Focused on digital* and at the* forefront of research and innovation*, you have the opportunity to be part of this exciting adventure.
*Your mission :*
An internship opportunity titled: «* Complementary Use Case for Frameworks Synergy (System Level) (ALL GENDER)*» has just opened at* Airbus Operations SAS *located in *Toulouse*. You will join the *Avionics & simulation domain *(1YY) in charge of the design, development, and validation of critical embedded computers.
Your internship will consist in: leading a comparative study of the *SCADE, Matlab/Simulink*, and our internal tool *Squid *ecosystems. The objective is to assess their respective positioning on the fundamental trade-off between* expressiveness and verifiability,* in the context of developing certified control and monitoring software (DO-178C, DO-330, DO-331).
Ideally, this is a *5 to 6-months* internship and it should start in *February/March 2026* (date subject to flexibility).
This position requires a security clearance or requires to be eligible for clearance by recognized authorities.
*Your main missions will consist of : *
• *Analyzing each ecosystem* (SCADE, the embedded subset of Simulink, Squid), including its language and associated toolchain, to evaluate the 'expressiveness vs. verifiability' trade-off for modeling synchronous software.
•* Comparing in detail the modeling approaches for state machines* (SCADE SSM vs. Stateflow), studying their formal rigor, the quality of the generated code, and their impact on the entire *verification and certification workflow *(e.g., structural coverage, property proving, WCET analyzability, ...).
• *Evaluating *the capabilities to express complex *matrix calculations* (such as Kalman filters / neural networks), by studying native mechanisms and potential extensions for the more limited formalisms.
Your tutor will support you identify your professional objectives and develop your skills.
*This internship will allow you to develop the following skills:*
• Critical analysis of the *expressiveness/verifiability *trade-off in formal modeling languages.
• Technical expertise in modeling *state machines and numerical algorithms* in MBD environments.
• Understanding of the challenges of *certifiable code generation* (DO-178C constraints, WCET analyzability).
*Your Boarding Pass:*
You are preparing a diploma level Bac+5 in Software Engineering, Computer Science, Embedded Systems (or equivalent).
You possess the following competences:
* *Technical skills :*
- Very good knowledge of software engineering and algorithms.
- Prior experience with SCADE or Simulink is required.
- Knowledge of formal languages, compilation, or static analysis would be a plus.
* *Soft Skills :*
- Analytical, synthesis, and critical thinking skills.
- Ability to present findings in a clear and structured manner.
* *Languages skills :*
- English: advanced
- French: fluent
*Our Recruitment Process :*
Your application will be reviewed by a recruiter. If your profile is matching the key requirements of the job, you will then be invited
to perform a short video interview to tell us about your background, motivations and your professional project. The result will be
assessed by a recruiter and your application will then be proposed to the manager for further review and interview.
Feeling ready to be part of the Airbus adventure ? Join us !
This job requires an awareness of any potential compliance risks and a commitment to act…
Référence : JR10356958