Stage evaluation langage fonctionnel pour l'embarqué
Stage Palaiseau (Essonne) Master, Titre d'ingénieur, Bac +5 Développement informatique
Description de l'offre
CE QUE NOUS POUVONS ACCOMPLIR ENSEMBLE :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.DESCRIPTIF DES MISSIONSLe 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 interneLa perspective de rejoindre un Groupe innovant vous motive ? Alors rejoignez-nous en postulant à cette offre.
Profil recherché
QUI ETES-VOUS ?Vous êtes en 3ème année école ingénieur en informatique ou en Master 2 informatique ou mathématiques appliqués.Vous possédez les connaissances indispensables : Théorie des langages, programmation Temps réel, programmation parallèleCompétences souhaitables : Connaissance des langages ELIXIR, ERLANG ou d'un autre langage fonctionnel.Langues : Anglais / FrançaisStage : 6 mois à partir de janvier 2019}
À propos de Thales
l'embarqué
QUI SOMMES-NOUS ?
Rejoignez Thales, leader mondial des technologies de sûreté et de sécurité pour les marchés de l'Aérospatial, du Transport, de la Défense et de la Sécurité. Fort de 65 000 collaborateurs dans 56 pays, le Groupe bénéficie d'une implantation internationale qui lui permet d'agir au plus près de ses clients, partout dans le monde.Situé sur le campus de l'École polytechnique, au cœur du pôle scientifique et technologique d'envergure mondiale de Paris-Saclay, Thales Research & Technology à Palaiseau est le centre de recherche du Groupe.Grâce aux nombreux partenariats avec le monde académique et un réseau international d'entreprises innovantes, nos équipes de recherche développent des technologies de rupture au service des unités opérationnelles du Groupe.