Alternance - Développeur·se Vérification de Logiciel d'Un Calculateur Embarqué - Aeroline - Toulouse H/F - Sopra Steria

Sopra Steria, acteur majeur de la Tech en Europe, avec 51 000 collaborateurs dans près de 30 pays, est reconnu pour ses activités de conseil, de services et solutions numériques. Il aide ses clients à mener leur transformation digitale et à obtenir des bénéfices concrets et durables. Le Groupe apporte une réponse globale aux enjeux de compétitivité des grandes entreprises et organisations, en combinant une connaissance approfondie des secteurs d'activité et des technologies à une approche collaborative. Sopra Steria place l'humain au coeur de son action et s'engage auprès de ses clients à tirer le meilleur parti du numérique pour construire un avenir positif. En 2025, le Groupe a réalisé un chiffre d'affaires de 5,6 milliards d'euros.Rejoignez notre équipe dynamique pour un grand client du secteur aéronautique ! L'équipe est constituée de 5 à 10 personnes, dont le chef de projet et le responsable qualité. Vous pouvez être amené(e) à travailler avec nos équipes indiennes. Vous êtes intégré(e) aux ingénieurs travaillant dans ce même contexte et connaissant le contexte aéronautique ainsi que les contraintes de développement de ces logiciels embarqués.

Vos missions :

En étroite collaboration avec nos architectes, vous participez aux projets de développement et de vérification de logiciels pour des équipements embarqués critiques, soit dans la partie applicative, soit dans la partie OS temps réel (gestion des ressources processeur, communication, application). Vous intervenez sur les phases de spécification, développement et vérification :

- Spécification, Design et Architecture
- Codage d'évolutions dans le cadre de la maintenance des logiciels (applications, gestion des ressources tâches, sémaphore, mutex, port et protocole de communication, etc.)
- Spécification des tests, preuve de programme, réalisation des scripts de tests
- Exécution des tests d'intégration et de validation, caractérisation des problèmes rencontrés

Les apports de l'alternance :

- Apprendre la méthodologie de mise en oeuvre d'un projet industriel en mode forfait
- Découvrir une expérience professionnelle en équipe mutualisée onshore/offshore
- Découvrir les normes aéronautiques sur les différentes phases de réalisation d'un logiciel embarqué
- Appréhender les différentes briques logicielles d'un OS multicoeurs
- Apprentissage des protocoles avioniques
- Mise en place de fonctionnalités avioniques via des systèmes embarqués

Technologies utilisées :

- Langages : C, C++, ASM, PowerPC, Python, JAVA, KSH/SH, SCADE
- Méthodologie : UML, HOOD, Architecture de systèmes en temps réel, contraintes temps réel
- Protocoles : CAN, AFDX, RS 232, ARINC429, ETHERNET, AUDIO
- Outils : GIT, ROBOT Framework, Visual Studio Code, Jenkins, Reqtify, Gradle, bancs de test, RTRT, Clearcase, DOORS
- Systèmes d'exploitation : UNIX, WINDOWS

Environnement technique et normé :

- Normes : DO178C, certification du logiciel auprès de l'agence européenne de la sécurité aérienne (EASA)

Nous recherchons des candidats possédant les connaissances techniques suivantes : programmation en C, C++, JAVA, Assembleur, ainsi que scripting en bash, perl ou python. Vous avez un réel intérêt pour l'aéronautique et les systèmes embarqués. Vous faites preuve d'un véritable esprit d'équipe, de curiosité et de rigueur.