Stages en Recherche

1. Stage ingénieur R&D chez LexiFi


Site :Trac- Stage ingénieur R&D chez LexiFi
Lieu :Boulogne Billancourt
encadrant :

Alain Frisch



2. Compilation certifiée de réseaux de Petri colorés


Site :Compilation certifiée de réseaux de Petri colorés
Lieu :Paris-Est Créteil (LACL) et Evry (IBISC)
Encadrant : Frédéric Gava et Franck Pommereau
Dates :Mars/Avril => Aout
Rémunération :E


3. Conception et implémentation d’un outil et d’une librairie OCaml pour manipuler les lieurs


Site :http://gallium.inria.fr/ fpottier/stages/sujet2015-m2.pdf
Lieu :INRIA Rocquencourt
Encadrant : François Pottier
Dates :Mars a juillet 2015
Rémunération :Gratification standard


4. Développement de fonctionnalités pour la suite OVADO (Stages RATP)


Site :Développement de fonctionnalités pour la suite OVADO


5. Flyer Google pour les stages


Site :Flyer Google pour les stages


6. Fusion Inductive d’Informations


Lieu :Laboratoire de Raisonnement et Analyse dans les Systèmes Complexes Thales Research & Technology Campus Polytechnique 1, avenue Augustin Fresnel 91767 Palaiseau cedex France
Encadrant : Claire Laudy et Gaëlle Lortal
Dates :avril 2015 à septembre 2015
Rémunération :Financement THALES


7. Génération de code pour des applications big data


Site :Softeam R&D
Lieu :Saint-Quentin-en-Yvelines
Encadrant : Marcos Almeida
Dates :6 mois
Rémunération :1000 € brut / mois


8. Génération/reverse de modèles Modelica


Site :Modelio
Lieu :Saint-Quentin-en-Yvelines
Encadrant : Mr Etienne Brosse etienne.brosse@softeam.fr
Dates :01/04/2015 au 31/09/2015
Rémunération :1000 € brut / mois


9. Implantation distribuée de modèles concurrents


Site :Implantation distribuée de modèles concurrents.
Lieu :Paris-Est Créteil (LACL) et Evry (IBISC)
Encadrant : Frédéric Gava et Franck Pommereau
Dates :Mars/Avril => Aout
Rémunération :Environs 400 euros par mois


10. Programmation concurrente et analyse de consommation de ressources sur micro-contrôleurs PIC


Site :Equipe APR - LIP6 - UPMC
Lieu :Equipe APR - LIP6 - UPMC
Encadrant : Emmanuel.Chailloux@lip6.fr


11. Stage en développement web chez Armadillo


Lieu :Vanves (92), métro Corentin Celton (ligne 12), Malakoff - Plateau de Vanves (ligne 13) ou Gare de Vanves - Malakoff
Encadrant : Gregory Potdevin
Dates :de février à août
Rémunération :A définir


12. stage ingénieur R&D chez Prove&Run


Site :stage ingénieur R&D chez Prove&Run


13. Stages au CEA


Site :Trac-Stages au CEA


14. Stages au laboratoire ICA


Site :Trac-Stages au laboratoire ICA
Lieu :Grenoble





15. stages chez Thales


Site :stages chez Thales


16. Stages recherche au LRDE (Epita)


Site :Trac-Stages recherche au LRDE (Epita)







17. Vérification d’algorithmes de Model checking


Site :Vérification d’algorithmes de Model checking
Lieu :Paris-Est Créteil, LACL
Encadrant : Frédéric Gava et Julien Tesson
Dates :Mars/Avril => Aout
Rémunération :Environs 400 euros par mois


18. Web Tracking detection


Site :Equipe INDES
Lieu :Inria Sophia-Antipolis
encadrant :

Nataliia Bielova