QUI SOMMES-NOUS ? L’activité Systèmes terrestres et aériens conçoit des systèmes, des équipements, des capteurs et des services pour le contrôle du trafic aérien civil et militaire, la défense aérienne ainsi que le combat naval et terrestre. A 20mn du cluster Paris-Saclay, le site de Limours réunit plus de 900 collaborateurs travaillant de la conception des solutions à la recette avec les clients, en passant par la production, des radars de surface. Ce site a connu ces dernières années de grandes évolutions et continue à s’adapter aux besoins des clients en termes de surveillance du ciel et de zones sensibles. QUI ETES-VOUS ? De formation Bac+4/+5 avec un intérêt pour l’ingénierie du logiciel du logiciel, le réseau, et les méthodes formelles , vous recherchez un stage de 6 mois minimum. Vous faite preuve d'organisation, rigueur, curiosité et vous aimez travailler en équipe. Vous maîtrisez le langage : Ada/SPARK Vous avez connaissance de l'environnement de développement sous Linux, un vernis réseau serait un plus. CE QUE NOUS POUVONS ACCOMPLIR ENSEMBLE : Au sein de l’équipe de développement et maintenance des logiciels de traitement numérique des radars civils (contrôle aérien, radars d’approche et « en route »), ce stage se situe dans le cadre de l’amélioration continue des logiciels opérationnels. Ce stage s’inscrit dans une volonté d’améliorer la sûreté et la performance des traitements logiciels radars, notamment en terme de communication réseau, ainsi que la robustesse des logiciels. SNMP est le protocole standard de supervision et configuration des équipements réseau. Il s’agit d’un protocole basé sur UDP, qui propose des commandes ainsi que des opérations groupées. SPARK est une nouvelle technologie de développement logiciel, conçue pour les applications à très haut niveau de confiance : Le stagiaire devra réaliser une implémentation en SPARK d’une bibliothèque capable de créer et interagir avec des agents SNMP. Vous devrez implémenter : Les éléments du protocole SNMP nécessaires dans nos systèmes (liste des fonctionnalités à définir avec les équipes) Les versions 2 et 3 du protocole SNMP (la version 3 incluant un mécanisme d’authentification) via une API similaire/proche de l’API originale défi supplémentaire : cette bibliothèque ne devra pas utiliser d’allocation dynamique, devra avoir une consommation mémoire entièrement maîtrisée, vérifiée. Vous devrez également mettre en place un environnement de benchmarking et validation, face à l’implémentation de référence net-snmp. Tous nos stages sont conventionnés et soumis à une gratification dont le montant est déterminé selon votre niveau d’études. Innovation, passion, ambition : rejoignez Thales et créez le monde de demain, dès aujourd’hui. Interested in a CAREER IN THE RAIL transportation sector? To see our jobs in the railway market, please visit our dedicated site here