Stages en Recherche

1. 3 stages Inria Paris (pour M2 ou M1)


Site : stages Inria Paris (pour M2 ou M1)
Lieu : INRIA Paris - rue du Charolais
encadrant :

- Roberto Di Cosmo
- Stefano Zacchiroli

Rémunération :standard


2. Autres stages chez Dassault Systèmes


Site : Autres stages chez Dassault Systèmes


3. Compilation certifiée (avec optimisations) en ML/Java/C de réseaux de Petri colorés


Site : Compilation certifiée (avec optimisations) en ML/Java/C de réseaux de Petri colorés
Lieu : LACL, Université de Paris-est créteil et/ou IBISC Université d'Evry
Encadrant : Frédéric Gava et/ou Franck Pommereau
Dates :01/03/2016 au 01/09/2016
Rémunération :Standard (environ 500 euros)


4. Conception d’algorithmes multi-BSP sur les graphes et leur implantation à l’aide d’une extension de OCaml dédiée à la programmation distribuée multi-BSP


Site : Conception d’algorithmes multi-BSP sur les graphes et leur implantation à l’aide d’une extension de OCaml dédiée à la programmation distribuée multi-BSP
Lieu : LACL, université Paris-est créteil
Encadrant : Frédéric Gava
Dates :01/03/2016 au 01/09/2016
Rémunération :Standard (environ 500 euros)


5. Configuration dynamique et déploiement d’un RTOS pour l’Embarqué


Site : Ciele Ingénierie - R&D
Lieu : bureau d’étude CIELE Ingénierie – Créteil Europarc – Métro L8 Créteil Pointe du Lac
Encadrant : Responsables et encadrants du stage : — G. Lasnier (gilles.lasnier@ciele.fr) — G. Labrouche (gregory.labrouche@ciele.fr)
Dates :dès que possible (6 mois)
Rémunération :900 – 1100 € selon profil


6. Définition d’un GUI la planification multi-énergie d’une « Smart Community »


Site : Définition d’un GUI la planification multi-énergie d’une « Smart Community »


7. Etude et implantation d’une méthode algébrique pour résoudre des systèmes à coefficients flous


Site : Trac-Etude et implantation d’une méthode algébrique pour résoudre des systèmes à coefficients flous
Lieu : LIP6 - UPMC Paris 6
Encadrant : Philippe Aubry, Annick Valibouze
Dates :6 mois entre février et aout 2016
Rémunération :standard


8. Étude et optimisation des performances de la bibliothèque Climb


Site : Étude et optimisation des performances de la bibliothèque Climb
Lieu : LRDE-EPITA 14 - 16 rue Voltaire 94276 Le Kremlin-Bicêtre Cedex www.lrde.epita.fr
Encadrant : Didier Verna, <didier at lrde . epita . fr>
Dates :Entre février et août 2016 (5-6 mois)
Rémunération :1000 Euros brut/mois


9. Etudes des liens entre modèles de faute induite par des attaques physiques à différents niveaux et analyse des effets de l’optimisation de code sur les modèles de faute et les contremesures associées


Site : Trac-Etudes des liens entre modèles de faute induite par des attaques physiques à différents niveaux et analyse des effets de l’optimisation de code sur les modèles de faute et les contremesures associées
Lieu : MORPHO (Osny) 80% et LIP6 (20%)
Encadrant : Heydemann Karine, Encrenaz Emmanuelle
Dates :6 mois entre Fevrier 2015 - Aout 2015
Rémunération :Au moins le minimum


10. Exécution parallèle sur cartes graphiques d’un système de gestion de flux de travail de calculs numériques


Site : Exécution parallèle sur cartes graphiques d’un système de gestion de flux de travail de calculs numériques
Lieu : LIP6 - UPMC
Encadrant : Emmanuel Chailloux
Dates :second semestre
Rémunération :standard


11. Extraction Automatique des Lignes de Produits logiciels


Lieu : LIP6
Encadrant : Tewfik Ziadi
Dates :01/02/2016 au 31/08/2016
Rémunération :523 euro/mois


12. Modélisation et génération d’une architecture SoC/FPGA Cyclone V au sein de la suite d’outils ADES


Site : Ciele Ingénierie - R&D
Lieu : bureau d’étude CIELE Ingénierie – Créteil Europarc – Métro L8 Créteil Pointe du Lac
Encadrant : Responsables du stage : — G. Lasnier (gilles.lasnier@ciele.fr) — C. Palarino (cedric.palarino@ciele.fr) Encadrants du stage : — H. Haouaneb (hayder.haouaneb@ciele.fr) — G. Lasnier (gilles.lasnier@ciele.fr)
Dates :dès que possible (6 mois)
Rémunération :900 – 1100 € selon profil


13. OpenCL SYCL C++ compiler and runtime for CPU & FPGA


Site : Xilinx Research Labs
Lieu : Xilinx Research Labs 2020 Bianconi Avenue Citywest Business Campus Saggart County Dublin D24 T683 Ireland
Encadrant : Ronan Keryell <ronan.keryell@xilinx.com> +353 1 403 2169
Dates :01/02/2016-01/09/2015 (flexible, dès que possible)
Rémunération :1500 €/mois


14. Preuves en Coq de programmes multi-ML


Site : Preuves en Coq de programmes multi-ML
Lieu : LACL, Université de Paris est Créteil
Encadrant : Frédéric Gava et Julien Tesson
Dates :01/03/2016 au 01/09/2016
Rémunération :Standard (environ 500 euros)


15. Réalisation d’une IHM graphique pour le framework de modélisation de composants matériel et logiciel de la suite d’outils ADES


Site : Ciele Ingénierie - R&D
Lieu : bureau d’étude CIELE Ingénierie – Créteil Europarc – Métro L8 Créteil Point du Lac
Encadrant : G. Lasnier (gilles.lasnier@ciele.fr) C. Palarino (cedric.palarino@ciele.fr)
Dates :dès que possible (6 mois)
Rémunération :900 - 1100 euros (selon profil)


16. Refactoring Automatique


Site : Site de puck
Lieu : LIP6
Encadrant : Cédric Besse (Cedric.Besse@lip6.fr), Mikal Ziane (Mikal.Ziane@lip6.fr)
Dates :du 01/02/2016 31/08/2016
Rémunération :500€/mois


17. Sémantique et compilation de dataflow synchrone


Site : Equipe Whisper LIP6
Lieu : Laboratoire d'Informatique de Paris 6
Encadrant : Pierre-Evariste Dagand
Dates :du 01/02/2016 au 30/07/2016
Rémunération :gratification standard


18. stages chez BeSport


Site : stages chez BeSport


19. Stages chez OCamlPro@IRILL


Site : Description des stages
Lieu : Bureaux d'OCamlPro à l'IRILL, Campus de Jussieu, Paris
Encadrant : Fabrice Le Fessant Benjamin Canou
Dates :de mars à septembre 2016
Rémunération :oui


20. Visual Debugging Environment for Antescofo an Interactive Music System


Site : Visual Debugging Environment for Antescofo an Interactive Music System
Lieu : The internship will take place at the Institution of Research in Coordination Acoustic/Music (IRCAM) in the research team MuTant. Link to the team’s webSite: http://repmus.ircam.fr/mutant.
Encadrant : Clément Poncelet Sanchez and Florent Jacquemard
Dates :from 03/2016 to 08/2016
Rémunération :Standard