Stages en Parcours SAR Autre Qu’ATIAM, Recherche

1. Compilation of Zero-crossing Detection in Languages for Hybrid Systems


Lieu :Département d’Informatique, École Normale Supérieure, 45 rue d’Ulm, 75230 Paris cedex 05.
Encadrant : Marc Pouzet, Timothy Bourke
Dates :01/04/2013 au 31/08/2013 (à discuter)
Rémunération :500E/mois


2. Compilation of Zero-crossing Detection in Languages for Hybrid Systems


Site :http://www.di.ens.fr/~pouzet/stages...
Lieu :Département d’Informatique, École Normale Supérieure, 45 rue d’Ulm, 75230 Paris cedex 05.
Encadrant : Marc Pouzet, Timothy Bourke
Dates :01/04/2013 au 31/08/2013 (à discuter)
Rémunération :500E/mois


3. Distributed Indexing of High-Dimensional Data


Site :Laboratoire CEDRIC, CNAM
Lieu :Équipe ISID, CNAM Paris
Encadrant : Cédric du Mouza (dumouza@cnam.fr), Camelia Constantin (camelia.constantin@lip6.fr)
Dates :01/04/2013 - 30/09/2013
Rémunération :stage rémunéré


4. Etude et évaluation des modèles architecturaux pour une meilleure intégration des concepts de sécurité et sûreté


Site :Page de dépôt des candidatures (recherchez "sûreté" et "sécurité" pour des stages)
Lieu :Centre EDF R&D, 1 avenue du Général de Gaulle, 92140 - CLAMART Groupe ICCOS (Infrastructure de Calcul, de Communication et Sécurité)
Encadrant : Yoran HALGAND (EDF), Thomas Robert (TPT)
Dates :Dès que possible
Rémunération :n.c (stage chez EDF donc bien rémunéré)


5. Exploration d’environnement par une équipe de gros robots


Lieu :LIP6, 4 place Jussieu 75005 PARIS
Encadrant : Franck Petit et Sébastien Tixeuil
Dates :Du 02/04/2013 au 01/09/2013
Rémunération :env. 420 euros nets par mois


6. FDD : Fast Driver Development using Safe and Automatic Template-Based Copy-Paste


Lieu :LIP6-Regal
Encadrant : Julia Lawall, Gilles Muller
Dates :01/04/2013 - 15/09/2013
Rémunération :436,05 euros/mois


7. Gestion de provenance XML dans la plate-forme répartie WebLab


Site :LIP6 BD
Lieu :Laboratoire LIP6, équipe Bases de Données
Encadrant : Camelia Constantin, Bernd Amann
Dates :du 01/04/2013 au 30/09/2013
Rémunération :436 euros/mois


8. High performance computing applied to seismic imaging


Site :Intern Software Engineer . High Performance Computing aaplied to Seismic Imaging
Lieu :Meudon
Encadrant : Philippe Thierry
Dates :15/04/2013 au 30/09/2013
Rémunération :1200€ brut


9. Méthode de tableaux pour le model-checking de la logique ATL


Site :Laboratoire IBISC
Lieu :Laboratoire IBISC, Université d’Evry 23 boulevard de France 91037 Evry
Encadrant : Franck Pommereau (franck.pommereau@ibisc.univ-evry.fr)
Dates :février/mars à juillet/septembre (6 mois)
Rémunération :436,05€ / mois


10. Nouveau stage : Mise en place du protocol WebRTC dans une application mobile


Site :Bistri
Lieu :27 rue du chemin vert 75011 Paris
Encadrant : Emmanuel Venisse Bistri, CTO
Dates :01/04/2013 au 31/08/2013
Rémunération :1000€


11. Rétro-ingénierie de ligne de produits logiciels depuis le code source.


Site :LIP6-MoVe
Lieu :au Lip6, avec éventuellement un ou deux séjours au Luxembourg.
Encadrant : Yves le Traon Professor, University of Luxembourg FSTC/SnT. Tewfik Ziadi Maitre de conférences, UPMC/LIP6.
Dates :Mars 2012 au Septembre 2012
Rémunération :Environ 800 euros brut


12. Sécurité des systèmes : mesures de l’opacité et des fuites d’information


Site :LIP6
Lieu :LIP6 et Ecole Polytechnique de Montréal
Encadrant : Béatrice Bérard (LIP6) et John Mullins (Ecole Polytechnique de Montréal)
Dates :du 01/04/2013 au 15/09/2013


13. Simulation rapide de réseaux de Petri colorés


Site :Laboratoire IBISC
Lieu :Laboratoire IBISC, Université d’Evry 23 boulevard de France 91037 Evry
Encadrant : Franck Pommereau (franck.pommereau@ibisc.univ-evry.fr)
Dates :février/mars à juillet/septembre (6 mois)
Rémunération :436,05€ / mois


14. Système d’Information décisionnel sur le dispositif de réalisation


Lieu :ERDF Département Gestion des Interventions Immeuble Capitole, 55 rue des Champs Pierreux 92000 NANTERRE
Encadrant : Michel Bourdin
Dates : 03/04 au 30/08/2013.
Rémunération :Selon le barème en vigueur à ERDF


15. Translation validation for synchronous data-flow equations in a Lustre compiler


Site :Département d’Informatique, École Normale Supérieure,
Lieu :Département d’Informatique, École Normale Supérieure, 45 rue d’Ulm, 75230 Paris cedex 05.
Encadrant : Marc Pouzet, Francesco Zappa Nardelli
Dates :01/04/2013 au 31/08/2013 (à discuter)
Rémunération :500E


16. Unification de deux méthodes d’abstraction de données


Site :Laboratoire IBISC
Lieu :Laboratoire IBISC, Université d’Evry 23 boulevard de France 91037 Evry
Encadrant : Franck Pommereau (franck.pommereau@ibisc.univ-evry.fr) Francesco Belardinelli (francesco.belardinelli@ibisc.univ-evry.fr)
Dates :février/mars à juillet/septembre (6 mois)
Rémunération :436,05€ / mois


17. Using replication for fault tolerance in High Performance Computing Systems


Site :Laboratoire de Systèmes Répartis
Lieu :Ecole Polytechnique Fédérale de Lausanne (Suisse)
Encadrant : Thomas Ropars (thomas.ropars@epfl.ch) André Schiper (Andre.Schiper@epfl.ch)
Dates :To be discussed
Rémunération :To be discussed