Stage – Implémentation d’un client réseau sécurisé en Ada – H/F

QUI SOMMES-NOUS ?

Construisons ensemble un avenir de confiance

Thales est un leader mondial des hautes technologies spécialisé dans trois secteurs d’activité : Défense & Sécurité, Aéronautique & Spatial, et Cybersécurité & Identité numérique. Il développe des produits et solutions qui contribuent à un monde plus sûr, plus respectueux de l’environnement et plus inclusif. Le Groupe investit près de 4 milliards d’euros par an en Recherche & Développement, notamment dans des domaines clés de l’innovation tels que l’IA, la cybersécurité, le quantique, les technologies du cloud et la 6G. Thales compte près de 81 000 collaborateurs dans 68 pays.

Nos engagements, vos avantages

• Une réussite commune portée par notre culture et excellence technologique, votre expérience et notre ambition partagée
• Un package de rémunération attractif (épargne salariale, variable ou 13ième mois selon les postes, restaurant d’entreprise,…)
• La possibilité de développer vos compétences en continu grâce à nos parcours de formation et nos académies internes #ENTREPRISEAPPRENANTE
• Notre attention portée à votre équilibre personnel et professionnel (Accord télétravail, RTT, congés d’ancienneté, jours enfants malades, guide parentalité, crèches, CSE / ASC,… )
• Des communautés internes permettant de vous engager sur les sujets qui vous tiennent à cœur : innovation, diversité, environnement
• Un environnement inclusif et bienveillant où vous êtes accueilli et valorisé avec notre politique handi-accueillante, notre charte LGBT+, notre initiative #StOpe pour lutter contre le sexisme.

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, le réseau, et les méthodes formelles

Vous faite preuve d’organisation, de rigueur, de curiosité et vous aimez travailler en équipe.

Une approche des langages : Ada/SPARK

Connaissance de l’environnement de développement sous Linux, un vernis réseau serait un plus

CE QUE NOUS POUVONS ACCOMPLIR ENSEMBLE :

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.

En nous rejoignant, vous vous verrez confier les missions suivantes :

Réaliser une implémentation en SPARK d’une bibliothèque capable de créer et interagir avec des agents SNMP :

• 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.

Mettre en place un environnement de benchmarking et validation, face à l’implémentation de référence net-snmp.

Le code de la bibliothèque sera vérifié au plus haut niveau de preuve possible (au minimum preuve d’absence d’erreurs à l’exécution – AoRTE).

La perspective de rejoindre une équipe de passionnés vous intéresse ? Alors, rejoignez-vous en postulant à cette offre.

Tous nos stages sont conventionnés et soumis à une gratification dont le montant est déterminé selon votre niveau d’études.

Thales reconnait tous les talents, la diversité est notre meilleur atout. Postulez et rejoignez nous !

Read Full Description