Stages en Parcours SAR Autre Qu’ATIAM, Rech./prof.

1. Amélioration des outils d’extraction et de segmentation de données pendant la phase d’apprentissage d’un système de reconnaissance automatique de la parole indépendant du locuteur.


Site :Audio Algorithm and VoIP
Lieu :STMicroelectronics - Paris, Porte d'Orleans
Encadrant : Stéphan Tassartt
Dates :janvier ou fevrier 2014
Rémunération :800 - 1000 Euros


2. An Intelligent Publish/Subscribe System at Web Scale


Site :Vertigo
Lieu :Laboratoire CEDRIC/CNAM
Encadrant : Cedric du Mouza Nicolas Travers
Dates :01/03/2014 au 31/08/2014
Rémunération :436€/mois


3. Axiomatisation et recomposition de langages dédiés à des domaines


Site :CEA LIST
Lieu :Site CEA Saclay Nano-Innov Gif sur Yvettes (91191)
Encadrant : Laurent Wouters
Dates :01/04/2014 30/09/2014
Rémunération :Selon barème


4. Better Linux with Coccinelle


Site :Coccinelle
Lieu :Laboratoire d'Informatique de Paris. 4, place Jussieu 75005 Paris
Encadrant : Julia Lawall
Dates :01/04/2014 au 30/09/2014
Rémunération :Environ 400 euros/mois


5. Code Analysis in the Cloud


Site :Automated Software Verification Group (Software Systems Research Group)
Lieu :Location: NICTA building, 223 Anzac Parade, Sydney NSW, Australia
Encadrant : Ralf Huuck & Franck Cassez
Dates :01/04/2014 to 15/09/2014
Rémunération :$AU450/week + VISA expenses


6. Développement d’une plate-forme Cloud de partage de contenu 3D interactif : industrialisation et optimisation


Lieu :Kubity 33 rue de miromesnil 75008 PAris
Encadrant : Alexandre Checinski
Dates :14/04/2014 au 14/09/2014
Rémunération :smic


7. DSL for Oracle RDBMS


Lieu :Montbonnot Saint-Martin, near Grenoble, France.
Encadrant : Laurent Daynès, laurent.daynes@oracle.com.
Dates :Du 01/04/2014 au 01/10/2014


8. Exploration d’Environnement par un Essaim de roBOTs mobiles


Site :Exploration d’environnement par un essaim de robots mobiles
Lieu :LIP6 4 place Jussieu PARIS
Encadrant : Franck Petit et Sébastien Tixeuil
Dates :du 01/04/2014 au 31/08/2014
Rémunération :oui, gratification standard


9. Formalisation des propriétés de sécurité d’applications embarquées


Lieu :Oberthur Colombes au sein de l’équipe + 1 journée par semaine au LIP6
Encadrant : Fabien Deboyser – responsable des certifications sécuritaires – encadrant Karine Heydemann et Mathieu Jaume (LIP6)
Dates :5 à 6 mois
Rémunération :1100 euros par mois


10. Génération d’applicatif temps réel à partir de modèles formels


Site :Équipe systèmes temps réel
Lieu :UMR 6597 IRCCyN - site de l'École Centrale de Nantes
Encadrant : Olivier H. Roux
Dates :période normale
Rémunération :rémunération réglementaire


11. Generic Collaborative Web Editor


Site :Generic Collaborative Web Editor
Lieu :LSV, ENS Cachan
Encadrant : Serge Haddad Alban Linard Francis Hulin-Hubard
Dates :du 01/04/2014 au 15/09/2014
Rémunération :indemnité de stage standard


12. Hierarchy of Formalisms in CosyVerif


Site :Hierarchy of Formalisms in CosyVerif
Lieu :LIP6 and/or LSV, ENS Cachan
Encadrant : Lom Messan Hillah Alban Linard
Dates :du 01/04/2014 au 15/09/2014
Rémunération :indemnité de stage standard


13. IHM sonore d’une voiture en mode autonome


Site :IHM sonore d’une voiture en mode autonome
Lieu :IRT System X, Palaiseau, 8 avenue de la Vauve
Encadrant : Sabine Langlois, Renault & IRT System X
Dates :6 mois entre mars et septembre 2014
Rémunération :1150E brut par mois


14. Le cellier : un nouveau ramasse-miette pour les grands volumes de données


Lieu :Laboratoire d'Informatique de Paris. 4, place Jussieu 75005 Paris
Encadrant : Gaël Thomas, gael.thomas@lip6.fr
Dates :01/04/02014 au 30/09/2014
Rémunération :Environ 400 euros/mois


15. Linéarisation par asservissement d’un haut-parleur électrodynamique : approche par les Systèmes Hamiltoniens à Ports


Site :Page Web de Antoine Falaize
Lieu :IRCAM, Équipe Analyse/Synthèse - CNRS UMR 9912 - UPMC, 1 place Igor Stravinsky, F-75004 PARIS
Encadrant : Antoine FALAIZE (doctorant; antoine.falaize@ircam.fr), Thomas HELIE (chargé de recherches CR1; thomas.helie@ircam.fr)
Dates :du 01/03/2014 au 31/08/2014
Rémunération :Oui, grille IRCAM


16. Minimisation d’automates finis


Site :Vaucanson
Lieu :Laboratoire de R&D de l'EPITA Paris, Porte d'Italie
Encadrant : Akim Demaille
Rémunération :800€/mois


17. MIT&0Pad : Mouse-Ink-Track-&0ther-Pad


Site :http://www.lip6.fr/recherche/team.p...
Lieu :LIP6/UPMC - Jussieu (pour 3 stagiaires de préférence)
Encadrant : Bertil Folliot, LIP6-INRIA/Equipe REGAL – UPMC (Paris VI)/CNRS, Sorbonnes Universités, bertil.folliot@lip6.fr
Dates :standard
Rémunération :standard


18. Optimisation du protocole de validation du bruit de fermeture de porte


Site :Trac-Optimisation du protocole de validation du bruit de fermeture de porte
Lieu :Technocentre Renault, 78
Encadrant : Aurélie FRERE
Dates :Février 2014 - Juillet 2014
Rémunération :1150 euros brut


19. Perception des bruits d’avions à proximité des aéroports


Site :Site de recrutement EADS
Lieu :Airbus (Toulouse, site de Saint Martin du Touch)
Encadrant : Jean-François SCIABICA (jean-francois.sciabica@airbus.com)
Dates :du 03/03/2014 au 26/09/2014
Rémunération :Oui, selon formation


20. Service Composition in CosyVerif


Site :Service Composition in CosyVerif
Lieu :LSV, ENS Cachan
Encadrant : Serge Haddad, Alban Linard
Dates :du 01/04/2014 au 15/09/2014
Rémunération :indemnité de stage standard


21. SPATIALISATION BINAURAL POUR LES JEUX VIDEO


Site :audiogaming
Lieu :AudioGaming 42 Avenue du Général de Croutte 31100 Toulouse France
Encadrant : Amaury LaBurthe
Dates :du 03/03/2014 au 30/09/2014
Rémunération :436,05 euros


22. SYNTHESE PROCEDURALE/GRANULAIRE POUR LES SONS DE VENTS ET PLUIE


Site :audiogaming
Lieu :AudioGaming 42 Avenue du Général de Croutte 31100 Toulouse France
Encadrant : Amaury LaBurthe
Dates :du 03/03/2014 au 30/09/2014
Rémunération :436,05 euros


23. TRANSCRIPTION DE DRUM&BASS DANS DES SIGNAUX POLYPHONIQUES


Site :audiogaming
Lieu :AudioGaming 42 Avenue du Général de Croutte 31100 Toulouse France
Encadrant : Amaury LaBurthe
Dates :du 03/03/2014 au 30/09/2014
Rémunération :436,05 euros


24. Vers un cache distribué collaboratif dans le noyau Linux.


Site :LIP6 Regal
Lieu :LIP6 - Laboratoire d'informatique de Paris VI, 4, place Jussieu 75005 Paris Regal (INRIA/UPMC) - RAP (INRIA)
Encadrant : Sopena Julien, Monnet Sébastien
Dates :01/04/2014 - 1/09/2014
Rémunération :Gratification standard