Partagez sur
Stage Expérimentation et évaluation d’un langage fonctionnel pour les applications embarquées
Date de mise à jour de l’offre
Thales SA :
Thales Research & Technology Etablissement de Thales SA
Description de la mission
Au sein de TRT France Le groupe de recherche STI (science et techniques de l’information, environ 70 ingénieur chercheurs) effectue des travaux d’étude et de recherche sur les systèmes complexes et en particulier sur les systèmes de traitement de l’information temps réel embarqués.
Une de nos activités consiste à évaluer les apports potentiels, les limitations et les difficultés d’usage des différentes approches et technologies informatiques (modélisation, langages, architectures, réseaux, calculateurs) pour le développement des systèmes temps réel embarqués.
Le stage propose d’expérimenter et d’évaluer l’usage des langages fonctionnels pour l’implémentation de logiciels réactifs. Nous proposons à priori d’évaluer le langage et la plateforme Elixir (https://elixir-lang.org/) ou le langage CAML de l'INRIA (http://caml.inria.fr/index.fr.html) mais le stagiaire pourra, à partir de ses connaissance et à l’issue d’une première activité d’état de l’art, choisir un autre langage fonctionnel d’expérimentation. L’expérimentation nécessitera le développement en langage fonctionnel d’une application de test, existante en C++ et fournie par Thales.
Ce stage nécessitera, au-delà de l’activité technique et des échanges internes avec les ingénieurs-chercheurs de Thales Research & Technologie, des échanges avec des universitaires étudiant les la programmation fonctionnelle et des équipes d’ingénierie système Thales ayant un usage potentiel de ce type de solution.
Les tâches du stagiaire seront :
• Réalisation d’un Etat de l’art sur les différents langages fonctionnels utilisables, choix de langage
• Mise en place de l’environnement de développement (IDE, compilateur, plateforme d’exécution, moyens de debug et de test) correspondant au langage choisi
• Réalisation du logiciel support à l’évaluation en langage fonctionnel.
• Mesure, comparaison, analyse du comportement et des performances obtenu
• Rédaction du Rapport de stage et rapport d’évaluation interne
Une de nos activités consiste à évaluer les apports potentiels, les limitations et les difficultés d’usage des différentes approches et technologies informatiques (modélisation, langages, architectures, réseaux, calculateurs) pour le développement des systèmes temps réel embarqués.
Le stage propose d’expérimenter et d’évaluer l’usage des langages fonctionnels pour l’implémentation de logiciels réactifs. Nous proposons à priori d’évaluer le langage et la plateforme Elixir (https://elixir-lang.org/) ou le langage CAML de l'INRIA (http://caml.inria.fr/index.fr.html) mais le stagiaire pourra, à partir de ses connaissance et à l’issue d’une première activité d’état de l’art, choisir un autre langage fonctionnel d’expérimentation. L’expérimentation nécessitera le développement en langage fonctionnel d’une application de test, existante en C++ et fournie par Thales.
Ce stage nécessitera, au-delà de l’activité technique et des échanges internes avec les ingénieurs-chercheurs de Thales Research & Technologie, des échanges avec des universitaires étudiant les la programmation fonctionnelle et des équipes d’ingénierie système Thales ayant un usage potentiel de ce type de solution.
Les tâches du stagiaire seront :
• Réalisation d’un Etat de l’art sur les différents langages fonctionnels utilisables, choix de langage
• Mise en place de l’environnement de développement (IDE, compilateur, plateforme d’exécution, moyens de debug et de test) correspondant au langage choisi
• Réalisation du logiciel support à l’évaluation en langage fonctionnel.
• Mesure, comparaison, analyse du comportement et des performances obtenu
• Rédaction du Rapport de stage et rapport d’évaluation interne
Profil recherché
Théorie des langages, programmation Temps réel, programmation parallèle - Connaissance des langages ELIXIR, ERLANG ou d’un autre langage fonctionnel.
Niveau de qualification requis
Bac + 4/5 et +
Les offres de stage ou de contrat sont définies par les recruteurs eux-mêmes.
En sa qualité d’hébergeur dans le cadre du dispositif des « 100 000 stages », la Région Île-de-France est soumise à un régime de responsabilité atténuée prévu aux articles 6.I.2 et suivants de la loi n°2204-575 du 21 juin 2004 sur la confiance dans l’économie numérique.
La Région Île-de-France ne saurait être tenue responsable du contenu des offres.
Néanmoins, si vous détectez une offre frauduleuse, abusive ou discriminatoire vous pouvez la signaler
en cliquant sur ce lien.
-
EmployeurThales SA
-
Secteur d’activité de la structureEmploi - Economie - Innovation - Numérique
-
Effectif de la structurePlus de 250 salariés
-
Site internet de la structurehttps://www.thalesgroup.com
-
Type de stage ou contratStage pour lycéens et étudiants en formation initiale
-
Date prévisionnelle de démarrage
-
Durée du stage ou contratPlus de 4 mois et jusqu'à 6 mois
-
Le stage est-il rémunéré ?Oui
-
Niveau de qualification requis
Bac + 4/5 et + -
Lieu du stageThales Research & Technology Campus Polytechnique
1 Av. Augustin Fresnel
91767 PALAISEAU -
Accès et transportsRER B + BUS