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

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 +
  • Employeur
    Thales SA
  • Secteur d’activité de la structure
    Emploi - Economie - Innovation - Numérique
  • Effectif de la structure
    Plus de 250 salariés
  • Site internet de la structure
    https://www.thalesgroup.com
  • Type de stage ou contrat
    Stage pour lycéens et étudiants en formation initiale
  • Date prévisionnelle de démarrage
  • Durée du stage ou contrat
    Plus 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 stage
    Thales Research & Technology Campus Polytechnique
    1 Av. Augustin Fresnel
    91767 PALAISEAU
  • Accès et transports
    RER B + BUS