{"id":1181389,"url":"https://alion.io/job/airbus-stage-2027-formalisation-pour-la-specification-et-larchitecture-logicielle","title":"STAGE 2027 Formalisation pour la spécification et l’architecture logicielle","company":{"id":3100,"name":"Airbus","domain":"airbus.com","url":"https://alion.io/company/airbus","size_band":"5000+","is_staffing_agency":false,"is_intermediary":false,"listed_via":null,"ats_vendor":"Workday","truth_index":{"grade":"A","score":99,"open_postings":112,"ghost_share":0,"stale_share":0.009,"repost_share":0.036,"time_to_fill_p50_days":25,"computed_at":"2026-09-24T05:45:00Z"}},"role":"Early Careers","role_family":"Early Careers","seniority":null,"employment_type":"internship","work_mode":"on_site","remote_scope":null,"remote_scope_basis":null,"remote_working_hours":null,"hiring_geo_confidence":"structured","locations":["Toulouse, France"],"countries":["FR"],"hiring_countries":[],"hiring_countries_total":0,"salary":null,"salary_estimate":null,"experience_years_min":null,"visa_sponsorship":false,"relocation_package":false,"has_equity":false,"technologies":[{"name":"LLM","optional":false}],"status":"live","first_seen_at":"2026-09-24T14:17:26Z","employer_posted_date":"2026-09-24","last_verified_at":"2026-09-24T13:56:21Z","board_verified":true,"closed_at":null,"days_open":0,"trust":{"level":"ok","repost_count":null,"flags":[],"days_open":0},"description":"Job Description:\nEnvie de déployer vos ailes ? Et si votre aventure commençait avec nous ?\nQuel que soit le métier de vos rêves, nous avons peut-être le stage qu’il vous faut !\nVous ê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.\nTournée vers le digital, à la pointe de la recherche et de l’innovation, vous avez l’opportunité de faire partie de cette aventure passionnante.\nVotre mission, si vous l'acceptez :\nUne 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 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.\nVotre stage consistera à:\nLes 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.\nLes 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.\nLe 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.\nUn 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.\nUn 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.\nCe stage, d'une durée de 6 mois, débutera idéalement en mars (cette période est indicative et pourra être ajustée).\nVos principales missions consisteront à :\nconstruction 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\nformalisation (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\nVotre tuteur ou tutrice vous accompagnera tout au long de votre stage, vous aidant à développer vos compétences et à atteindre vos objectifs professionnels.\nCe stage vous permettra notamment de développer les compétences suivantes :\nspécification, architecture, programmation et vérification de logiciels\nformalisation d’exigences fonctionnelles\nVotre carte d’embarquement pour cette aventure :\nVous êtes actuellement en Master 2, 5ème année d'école d'ingénieur en informatique ou un domaine équivalent.\nVous possédez idéalement les compétences suivantes :\nCompétences techniques :\nscripting, analyse syntaxique et compilation \nnotions de modélisation en langages semi-formels (AADL, SysML) \nsi possible, notions de formalisation de propriétés en logique temporelle ( LTL, CTL) \nsi possible, notions de modélisation en langages formels fonctionnels à types dépendants (Rocq, Lean) \nSoft Skills :\nEsprit d'équipe\nProactivité\nAutonomie\nLangues :\nAnglais :Avancé\nFrançais : Avancé\nNotre processus de recrutement :\nVotre 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.\nEnvie de faire partie de l'aventure Airbus ? Postulez dès maintenant et rejoignez-nous !\nThis 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.\nCompany:\nAirbus Operations SASEmployment Type:\nInternship-------\nExperience Level:\nStudentJob Family:\nSoftware Engineering By submitting your CV or application you are consenting to Airbus using and storing information about you for monitoring purposes relating to your application or future employment. This information will only be used by Airbus.\nAirbus is committed to achieving workforce diversity and creating an inclusive working environment. We welcome all applications irrespective of social and cultural background, age, gender, disability, sexual orientation or religious belief.\nAirbus 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 .\nAt Airbus, we support you to work, connect and collaborate more easily and flexibly. Wherever possible, we foster flexible working arrangements to stimulate innovative thinking.","description_format":"text","description_chars":5684,"description_truncated":false,"requirements":{"experience_years_min":null,"management_years_min":null,"team_size_min":null,"manages_managers":false,"education":null,"security_clearance":false,"languages":[{"language":"French","level":"Advanced (C1)","optional":false}]},"benefits":["Flexible schedule"],"hiring_locations":[],"hiring_excludes":[],"relocation_offered":false,"industries":["Earth Observation","Combat Aircraft","Defense Manufacturing","Avionics & Flight Control"],"lifecycle":[{"event":"open","at":"2026-09-24T14:17:26Z"}],"liveness":{"score":86,"band":"hot","label":"Hiring now","p_open":1,"p_active":0.86,"p_room":1,"age_days":0,"expected_fill_days":25,"reasons":["conf:1","win:early","comp:brand"],"computed_at":"2026-09-24T16:11:18Z"},"pay":null,"html_url":"https://alion.io/job/airbus-stage-2027-formalisation-pour-la-specification-et-larchitecture-logicielle","json_url":"https://alion.io/job/airbus-stage-2027-formalisation-pour-la-specification-et-larchitecture-logicielle.json","meta":{"generated_at":"2026-09-24T16:11:18Z","cache_seconds":300,"methodology":"https://alion.io/methodology","terms":"https://alion.io/terms","contact":"https://alion.io/contact","api":"https://alion.io/developers"}}