Stages en Parcours SAR Autre Qu’ATIAM, Recherche

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. Application du pompage énergétique par absorbeur dynamique non linéaire aux instruments de musique à corde


Site :Laboratoire Mécanique et Acoustique
Lieu :Laboratoire de Mécanique et d’Acoustique de Marseille (FR) et/ou éventuellement Université d’Arizona (USA)
Encadrant : P.-O. Mattei, M. Pachebat, Ch. Vergez (LMA) S. Missoum (Univ Arizona)
Dates :du 01/03/2014 au 31/07/2014
Rémunération :selon règles en vigueur au CNRS


3. Big-OS : un système d’exploitation 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/2014 au 30/09/2014
Rémunération :Environ 400 euros/mois


4. Binaural Listening : grouping of Head-Related Transfer Function and non-perceptual reciprocity


Site :Audio & Acoustique
Lieu :LIMSI-CNRS, Orsay
Encadrant : brian.katz@limsi.fr & laurent.simon@limsi.fr
Dates :period normal
Rémunération :suivant la grille standard du CNRS


5. Binaural Listening : Perceptually significance of variability in HRTF measurements


Site :Audio & Acoustique
Lieu :LIMSI-CNRS, Orsay
Encadrant : brian.katz@limsi.fr & laurent.simon@limsi.fr
Dates :period normal
Rémunération :suivant la grille standard du CNRS


6. Cartographie d’un environnement sonore par un robot mobile


Lieu :Équipes PAROLE et MAIA, Inria Nancy (http://parole.loria.fr/ et http://maia.loria.fr/)
Encadrant : Emmanuel Vincent (emmanuel.vincent@inria.fr) et François Charpillet (francois.charpillet@inria.fr)
Dates :début entre janvier et avril 2014, durée 4 à 6 mois
Rémunération :gratification


7. 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


8. Compilation de réseaux de Petri de haut niveau vers Guarded Action Language (GAL)


Site :Trac-Compilation de réseaux de Petri de haut niveau vers Guarded Action Language (GAL)
Lieu :LIP6, équipe Move
Encadrant : Fabrice Kordon (Fabrice.Kordon@lip6.fr), Yann Thierry-Mieg (Yann.Thierry-Mieg@lip6.fr)
Dates :du 01/04/2014 au 15/09/2014
Rémunération :Gratification standard


9. Détection de fautes dans les nuages informatiques


Site :Equipe REGAL (Inria / LIP6)
Lieu :Equipe REGAL / LIP6
Encadrant : Luciana Arantes, Pierre Sens, Julien Sopena (Prénom.Nom@lip6.fr)
Dates :1/4/2014 au 31/8/2013
Rémunération :Gratification standard


10. 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


11. Equilibrage de charge pour un jeu distribué à grande échelle


Site :Novaquark
Lieu :Novaquark S.A.S. (basé à Paris)
Encadrant : Jean-Christophe Baillie (Novaquark) et Olivier Marin, Sébastien Monnet (UPMC)
Dates :01/04/2014 - 31/08/2014
Rémunération :Gratification standard


12. Etude sur le seuil dynamique d’oscillation d’une clarinette


Site :http://www.lma.cnrs-mrs.fr/
Lieu :Laboratoire de Mécanique et Acoustique de Marseille
Encadrant : C. Vergez, A. Almeida, B. Bergeot
Dates :du 01/03/2014 au 31/07/2014
Rémunération :selon règles en vigueur au CNRS


13. 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


14. 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


15. 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


16. Intégration du suivi continu et de l’interaction gestuelle dans un système réactif de suivi de partition


Site :Ircam
Lieu :Ircam
Encadrant : José Echeveste (Équipe Mutant), Jules Françoise (Équipe IMTR), Jean-Louis Giavitto (Équipe Mutant)
Dates :du 03/03/2014 au 31/07/2014
Rémunération :environ 440€


17. Large-scale geo-replicated hybrid consistency transactional storage


Site :Masters’ internship : Large-scale geo-replicated hybrid consistency transactional storage
Lieu :LIP6, Jussieu, Paris
Encadrant : Marek Zawirski, Marc Shapiro, Masoud Saeida Ardekani
Dates :du 1/4/2014 au 31/8/2013
Rémunération :oui


18. 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


19. 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


20. Mariage maximal auto-stabilisant et systèmes répartis dynamiques


Lieu :LIP6, Campus Jussieu, 4 place Jussieu, 75005 Paris, France
Encadrant : Swan Dubois et Franck Petit Equipe-projet Inria REGAL <Prenom>.<Nom>@lip6.fr
Dates :04/2014 au 09/2014
Rémunération :Oui


21. Métrique de routage pour le déploiement opportuniste de réseaux maillés couvrants en temps optimal


Site :Trac-Métrique de routage pour le déploiement opportuniste de réseaux maillés couvrants en temps optimal
Lieu :LIP6
Encadrant : Anne Fladenmuller (anne.fladenmuller@lip6.fr) Olivier Marin (olivier.marin@lip6.fr)
Dates :du 01/04/2014 au 31/08/2014
Rémunération :standard


22. Minimisation d’automates de Büchi et Rabin avec un SAT-solver


Site :LRDE
Lieu :Laboratoire de Recherche et Développement de l'Épita (LRDE)
Encadrant : - Alexandre Duret-Lutz (LRDE/EPITA) <adl@lrde.epita.fr> - Souheib Baarir (LIP6/UPMC) <souheib.baarir@lip6.fr>
Dates :flexibles
Rémunération :800€ bruts par mois


23. Modèle de lèvres artificielles pour le jeu des cuivres : mesures et estimation des paramètres mécaniques sur une bouche artificielle robotisée.


Site :Ircam
Lieu :IRCAM - CNRS UMR 9912, 1 place Igor Stravinsky, 75004 Paris.
Encadrant : Ircam: Nicolas Lopes et Thomas Hélie Mail: nicolas.lopes@ircam.fr, thomas.helie@ircam.fr Tel.: +33 1 44 78 42 29 & +33 1 44 78 14 86
Dates :du 01/03/2014 31/08/2014
Rémunération :oui (grille Ircam)


24. Partage et filtrage de données prioritaires en situation de crise


Site :Trac-Partage et filtrage de données prioritaires en situation de crise
Lieu :LIP6
Encadrant : Marin Olivier, Arantes-Bezerra Luciana
Dates :du 01/04/2014 au 31/08/2014
Rémunération :standard


25. 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


26. Preuve formelle d’algorithmes séquentiels et distribués de model-checking (NDFS et Tarjan)


Site :http://www.lacl.fr/fr/accueil
Lieu :LACL, Université de Paris-Est Créteil
Encadrant : Frédéric Gava et Julien Tesson
Dates :01/04/2014 au 01/09/2014
Rémunération :400


27. Removing the performance bottlenecks of transactional memory


Site :Equipe Regal
Lieu :LIP6, Université Pierre et Marie Curie, site Jussieu
Encadrant : Marc Shapiro, http://lip6.fr/Marc.Shapiro/ or Tyler Crain
Dates :du 31/03/2014 au 31/08/2014
Rémunération :oui


28. 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


29. 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


30. Synthèse vocale performative : aspects rythmiques


Site :Groupe Audio & Acoustique LIMSI
Lieu :Groupe Audio & Acoustique LIMSI Laboratoire d'Informatique pour la Mécanique Adresse: LIMSI-CNRS, BP 133, 91403 ORSAY
Encadrant : Christophe d'Alessandro (CNRS-LIMSI, DR)
Dates :1/03/2014 - 28/06/2014
Rémunération :436,05 € /mois


31. 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


32. Validation de protocoles répartis pour réseaux opportunistes


Lieu :LIP6, Campus Jussieu, 4 place Jussieu, 75005 Paris, France
Encadrant : Swan Dubois, Jean-Loup Guillaume, Clémence Magnien et Franck Petit Équipe ComplexNetworks et Équipe-projet Inria REGAL
Dates :04/2014 au 09/2014
Rémunération :Oui


33. Vérification formelle d’un protocole de routage distribué pour réseaux de capteurs sans fil à large échelle


Site :LIPN
Lieu :Université Paris 13, LIPN (UMR 7030 CNRS) et L2TI
Encadrant : Laure Petrucci (laure.petrucci@lipn.univ-paris13.fr) Saadi Boudjit(boudjit@univ-paris13.fr)
Dates :standard
Rémunération :standard