Quelles sont les missions ?

La bibliothèque de calculs de mécanique spatiale Orekit est développée en Java et afin de faciliter cette intégration une réimplémentation en Ada de cette bibliothèque est souhaitable.

Afin d'obtenir un haut niveau de fiabilité cette réimplémentation utilisera la technologie SPARK basée sur un sous-ensemble du langage Ada permettant la mise en oeuvre d'outils de preuve formelle.

Ce stage commencera par l'apprentissage de la bibliothèque Orekit et par la détermination du sous-ensemble à porter pour satisfaire un premier besoin.

Une fois acquise la maîtrise de l'architecture de cette bibliothèque, vous aurez pour missions :

proposer une approche de réimplémentation en Ada/SPARK ,

prendre en charge des activités de codage, en utilisant les contrats SPARK,

mener des tests.

Une étude comparative des temps d'exécution entre la version Java et Ada/SPARK est également à prévoir.

C'est une opprotunité pour vous de travaillerez au sein d'une équipe composée de spécialistes en ingénierie radar et en développement logiciel et d'approcher des activités et technologies variées telles que des environnements de développement sous Linux, les techniques de développement en Ada et en SPARK ainsi que les algorithmes de mécanique spatiale.

Lire la suite

Quel est le profil idéal ?

Vous êtes en formation BAC + 5 et recherchez un stage de 6 mois ?

Vous avez des connaissances en Algorithmes de mécanique spatiale, logiciel Ada SPARK et Java ?

Vous avez effectué des projets sous Linux ?

Vous appréciez travailler dans un environnement très technique ?

Vous avez envie d'appréhender de nouvelles technologies et rechercher leurs limites ?

Pourquoi les rejoindre ?

Ceux qui font avancer le monde s'appuient sur Thales
Dans un monde en constante mutation, à la fois imprévisible et riche d'opportunités, nous sommes aux côtés de ceux qui ont de grandes ambitions : rendre le monde meilleur et plus sûr.

Riches de la diversité de leurs expertises, de leurs talents, de leurs cultures, nos équipes d'architectes conçoivent un éventail unique de solutions technologiques d'exception, qui rendent demain possible dès aujourd'hui.

Du fond des océans aux profondeurs du cosmos ou du cyberespace, nous aidons nos clients à maîtriser des environnements toujours plus complexes pour prendre des décisions rapides, efficaces, à chaque moment décisif, quel que soit l'enjeu.

Partout où des décisions critiques doivent être prises, Thales est présent.

Nous servons cinq grands secteurs essentiels pour le développement de nos sociétés : Aéronautique, Espace, Transport terrestre, Sécurité et Défense.

 
Dépôt CV
Montrez vos talents, 15 000 recruteurs vous attendent

Je dépose mon CV dans la CV-thèque

Doc, Docx, rtf, pdf (3 Mo. max)

D'autres offres vous attendent sur Cadremploi
Continuez sur votre lancée ! Découvrez d'autres offres similaires à celle-ci
OU
Continuer ma recherche
Soyez le premier prévenu !

Recevez les offres similaires à cette annonce

En créant votre alerte, vous acceptez les conditions d'utilisation

Alerte active Vous recevrez par email les offres correspondant à la recherche

Gérer mes alertes