Stages en Recherche

1. Aide à la création et manipulation de modèle de fiabilité dans Papyrus


Site : Aide à la création et manipulation de modèle de fiabilité dans Papyrus
Lieu : CEA LIST, LISE Avenue de la Vauve, 91120 Palaiseau
Encadrant : Morayo Adedjouma
Dates :du 01/02/2017 au 31/07/2017
Rémunération :Selon les grilles du CEA


2. Analyse de consommation mémoire de programmes pour micro-contrôleur


Site : Trac-Analyse de consommation mémoire de programmes pour micro-contrôleur
Lieu : campus Jussieu
Encadrant : Emmanuel Chailloux (Emmanuel.Chailloux@lip6.fr)
Rémunération :standard


3. Automatic inference of software transformation rules for automatically back and forward porting legacy infrastructure software


Site : Equipe Whisper (INRIA/LIP6)
Lieu : LIP6
Encadrant : Julia Lawall
Dates :Février - Juillet 2017


4. Automating the Identification of CVEs that are Suitable for Detection with Coccinelle


Site : Equipe Whisper (INRIA/LIP6)
Lieu : LIP6
Encadrant : Julia Lawall
Dates :Février - Juillet 2017
Rémunération :env. 1500 euros / mois


5. Certified and Optimizing Bit Slicing Compiler


Site : sujet
Lieu : Laboratoire d'Informatique de Paris 6
Encadrant : Pierre Dagand
Dates :du 01/02/2017 au 31/07/2017
Rémunération :Gratification standard


6. Contraintes sur des domaines paramétriques


Site : Contraintes sur des domaines paramétriques
Lieu : Université de Nantes, LINA (UMR 6241)
Encadrant : Charlotte Truchet
Dates :début février, durée : 6 mois
Rémunération :gratification standard


7. Création d’un compilateur & interpréteur


Site : Création d’un compilateur & interpréteur
Lieu : Au choix : ENAC Toulouse ou CNAM Paris
Encadrant : Christophe Genolini (ENAC) Pierre Courtieu (CNAM)
Dates :6 mois, libre
Rémunération :Standard


8. Développeur Big Data Spark / Scala chez Invenis


Site : Invenis
Lieu : Invenis Paris
Encadrant : Benjamin Quétier (INVENIS) <benjamin@invenis.paris>
Dates :Février / Juillet (6 mois)


9. Diagnostics for a 3D Adaptive Mesh Refinement Hybrid PIC code


Site : Diagnostics for a 3D Adaptive Mesh Refinement Hybrid PIC code
Lieu : Laboratoire LERMA - Jussieu
Encadrant : mathieu.drouin@obspm.fr
Dates :De février à Juillet (6 mois)


10. Etude quantitative des arbres de synchronisation


Site : Trac-Etude quantitative des arbres de synchronisation
Lieu : Laboratoire d'Informatique de Paris Nord
Encadrant : -# Olivier Bodini : Olivier.Bodini@lipn.univ-paris13.fr -# Antoine Genitrini : Antoine.Genitrini@lip6.fr
Rémunération :Gratification standard


11. Extraction de lignes de produits logiciels


Site : Trac-Extraction de lignes de produits logiciels
Lieu : LIP6
Encadrant : Tewfik Ziadi Jabier Martinez
Dates :Stage de M2
Rémunération :Standard (LIP6)


12. Implantation et intégration d’un framework haut-niveau dédié à la communication au sein d’un système embarqué


Site : http://www.ciele.fr/m-119-2016-RD-S...
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 [DOT] lasnier [AT] ciele.fr) — C. Palarino (cedric.palarino@ciele.fr)
Dates :01/03/2017
Rémunération :900 – 1100 € selon profil


13. Mesures de similarité rythmique


Site : équipe Vertigo
Lieu : Laboratoire Cédric, Conservatoire National des Arts et Métiers (75003 Paris) stage est en collaboration avec l'Ircam (75004 Paris)
Encadrant : Philippe Rigaux (CNAM) philippe.rigaux@cnam.fr co-responsable: Florent Jacquemard (Ircam, INRIA) florent.jacquemard@inria.fr
Dates :Février - Juillet 2017
Rémunération :Gratification au montant en vigueur


14. PALS : Patterns of Links Streams


Site : Equipe Complex Networks
Lieu : Laboratoire d'informatique de Paris 6
Encadrant : Frédéric Peschanski Matthieu Latapy
Dates :du 06/02/2017 au 30/07/2017
Rémunération :Gratification standard


15. Programmation générique en C++ moderne pour le traitement d’images


Site : Laboratoire de Recherche et Développement de l’EPITA (LRDE)
Lieu : EPITA, Le Kremlin-Bicêtre (porte d'Italie)
Encadrant : Thierry Géraud, Pr.
Dates :du 06/02/2017 au 06/07/2017
Rémunération :1000€ / mois


16. Projet ADOC : Architecturally Deeply Optimized Convolution Applications


Site : Trac-Projet ADOC : Architecturally Deeply Optimized Convolution Applications
Lieu : LIP6 - UPMC
Encadrant : Lionel Lacassagne (lionel.lacassagne@lip6.fr) Emmanuel Chailloux (Emmanuel.Chailloux@lip6.fr)
Rémunération :standard


17. 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 : http://www.ciele.fr/m-114-2015-RD-S...
Lieu : bureau d’étude CIELE Ingénierie – Créteil Europarc – Métro L8 Créteil Pointe du Lac
Encadrant : — G. Lasnier (gilles.lasnier@ciele.fr) — C. Palarino (cedric.palarino@ciele.fr)
Dates :01/03/2017
Rémunération :900 – 1100 € selon profil


18. Refactoring Automatique


Site : Logiciel Puck
Lieu : LiP6, Equipe MoVe
Encadrant : Cédric Besse, Mikal Ziane Prénom.Nom@lip6.fr
Dates :du 01/02/2017 au 31/07/2017
Rémunération :gratification standart


19. Semantics and Compilation of Synchronous Dataflow Languages


Site : sujet
Lieu : Laboratoire d'informatique de Paris 6
Encadrant : Pierre Dagand
Dates :du 01/02/2017 au 31/07/2017
Rémunération :Gratification standard


20. stage à l’ESCP (ENS)


Site : Trac-stage à l’ESCP (ENS)


21. stage à Trust in Soft


Site : Conception, architecture, développement et mise en œuvre sur des exemples réels, d’extensions de la plateforme d’analyse formelle TrustInSoft Analyzer reposant sur la technologie Frama-C.
encadrant :

Benjamin Monatte (benjamin.monate@trust-in-soft.com) David Maison (



22. Stages Airbus Safran Launchers


Site : Trac-Sategs Airbus Safran Launchers


23. Stages chez Adacore + Thales


Site : Trac-Stages chez Adacore + Thales





24. Stages chez BESPORT


Site : Stages chez BESPORT



25. stages chez CLEARSY


Site : stages chez CLEARSY


26. Stages chez Mozilla Paris


Site : Trac-Stages chez Mozilla Paris


27. Stages chez OCamlPro@IRILL


Site : http://www.ocamlpro.com/wp-content/...
Lieu : OCamlPro, situé dans les locaux de l'IRILL, UPMC
Encadrant : Ingénieurs OCamlPro
Dates :du 01/03/2017 au 01/09/2017
Rémunération :oui


28. Stages de l’équipe Complex Networks


Site : http://complexnetworks.fr
Lieu : Laboratoire d'Informatique de Paris 6
Encadrant : Clémence Magnien, Matthieu Latapy, Lionel Tabourier, Fabien Tarissan, Robin Lamarche-Perrin (en fonction du stage)
Dates :de début février à fin juillet (6 mois)
Rémunération :Gratification standard


29. Stages du projet Software Heritage


Site : Stages du projet Software Heritage
Lieu : Inria Paris - 75012 Paris
encadrant :

- Roberto Di Cosmo
- Stefano Zacchiroli

Dates :à partir du 01/02/2016, durée 6 mois







30. Structured diff of C programs


Site : sujet
Lieu : Laboratoire d'informatique de Paris 6
Encadrant : Pierre Dagand
Dates :du 01/02/2017 au 31/07/2017
Rémunération :Gratification standard


31. TRANSFORMATION AUTOMATISÉE DE DOCUMENTS TEXTUELS EN REPRÉSENTATION STRUCTURÉE ET SUPPORT POUR L’ANALYSE DE TRAÇABILITÉ : APPLICATION À LA NORME ISO26262


Site : TRANSFORMATION AUTOMATISÉE DE DOCUMENTS TEXTUELS EN REPRÉSENTATION STRUCTURÉE ET SUPPORT POUR L’ANALYSE DE TRAÇABILITÉ : APPLICATION À LA NORME ISO26262
Lieu : CEA LIST, LISE Avenue de la vauve, 91120 Palaiseau
Encadrant : Morayo Adedjouma
Dates :du 01/02/2017 au 31/07/2017
Rémunération :Selon grilles CEA


32. Web tracking technologies : analysis and demonstration


Site : Web tracking technologies : analysis and demonstration
Lieu : INRIA Sophia Antipolis
encadrant :

Fabien Gandon, Nataliia Bielova (nataliia.bielova@inria.fr), Arnaud Legout.

Dates :à partir du 06/02/2017, durée 6 mois
Rémunération :gratification réglementaire