Stages en Recherche

1. Algorithmique pour les flots de liens


Site : http://www.complexnetworks.fr/
Lieu : LIP6 - UPMC, CNRS
Encadrant : Clémence Magnien, Binh-Minh Bui-Xuan
Rémunération :Standard


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


Site : Trac-Analyse statique de consommation mémoire
Encadrant : Chailloux Emmanuel


3. Automated, model-based test case and oracle generation for RESTful Web services


Site : Equipe MoVe
Lieu : Laboratoire d'Informatique de Paris 6 (LIP6) / Université Pierre et Marie Curie (UPMC)
Encadrant : Lom M. Hillah
Dates :du 01/02/2018 au 31/08/2018
Rémunération :Max de la réglementation en vigueur : environ 600€/mois + 35€ transport/mois + 100€ repas/mois


4. Caractérisation de traces de navigation


Site : http://www.complexnetworks.fr/
Lieu : LIP6 - UPMC, CNRS
Encadrant : Lionel Tabourier
Rémunération :Standard


5. catalogue de stages au CEA LIST LSL


Site : Trac-catalogue de stages au CEA LIST LSL


6. Développeur Scala / Spark chez Invenis


Site : Invenis
encadrant :

Benjamin Quétier job@invenis.co



7. Extraction d’une ligne de produits de tests logiciels


Site : Equipe Modélisation et Vérification (MoVe)
Lieu : Laboratoire d'Informatique de Paris 6 (LIP6, UPMC)
Encadrant : Tewfik Ziadi, Lom M. Hillah
Dates :du 01/02/2018 au 31/08/2018
Rémunération :Selon la réglementation en vigueur : environ 546€/mois + 35€ transport/mois + 100€ repas/mois


8. Programmation synchrone/contraintes pour la musique


Site : IRCAM, équipe REPMUS
Lieu : IRCAM
Encadrant : Carlos Agon et Pierre Talbot
Dates :01/02/2018 au 30/07/2018
Rémunération :standard


9. Refactoring automatique


Site : Puck : A Dependency Hunter & Breaker Tool
Lieu : LIP6 - Equipe MoVe
Encadrant : Cédric Besse Mikal Ziane
Dates :février - juillet 2018
Rémunération :Gratification standard


10. SNACC (SyNchronous Abstract Contractual Connected Components) design language


Site : SNACC (SyNchronous Abstract Contractual Connected Components) design language
Lieu : ECE Paris -- École d'ingénieurs (en collaboration avec Telecom Sud-Paris)
Encadrant : Sebti Mouelhi (sebti _dot_ mouelhi _at_ ece _dot_ fr)
Dates :01/02/2018 au 31/07/1018
Rémunération :1600 Euros (brut mensuel)


11. Stage Machine Learning : détection d’anomalies, maintenance prédictive et objets connectés - Samsung ARTIK Cloud - Paris - 6 mois


Site : Stage Machine Learning : détection d’anomalies, maintenance prédictive et objets connectés - Samsung ARTIK Cloud - Paris - 6 mois
Lieu : Paris Centre
Encadrant : Gilles Mazars


12. Stages chez Adacore


Site : Stages chez Adacore


13. Stages chez OCamlPro


Site : OCamlPro SAS
Lieu : OCamlPro, bureaux de l'IRILL, UPMC, barre 15-16, 1er étage
Encadrant : Fabrice LE FESSANT
Dates :3 à 6 mois entre le 1/02/2018 et le 31/10/2018
Rémunération :oui


14. Temporalité dans la recommandation de spectacles


Site : http://www.complexnetworks.fr/
Lieu : LIP6 - UPMC, CNRS Deligth
Encadrant : Lionel Tabourier
Rémunération :Standard


15. Typage de Séquences Hétérogènes dans les Langages Dynamiques


Site : Typage de Séquences Hétérogènes dans les Langages Dynamiques
Lieu : LRDE - EPITA 24 rue Pasteur bâtiment B, 2e étage 94270 Le Kremlin-Bicêtre
Encadrant : Didier Verna
Dates :5 - 6 mois en 2018
Rémunération :1000€ / mois