Stages de la spécialité STL

Vous trouverez sur cette page les stages de recherche proposés dans le cadre de la spécialité STL et le parcours APR : Algorithmique et Programmation - Recherche.

Cette page sera mise à jour régulièrement.

Liste chronologique des 16 sujets proposés
les sujets sur fond coloré sont déjà attribués
L

Pour passer du mode abrégé au mode étendu, cliquer sur le bouton ci-dessus.
Pour être prévenu des stages annoncés tardivement, utiliser le fil RSS: il est spécifique à cette rubrique.
Pour ne lister que les stages associés à un mot-clé, cliquer sur une occurrence des mot-clés apparaissant en mode étendu sous le titre des stages.

1. Validation numérique de logiciels pour l’assimilation de données


organisme :Laboratoire d’Informatique de Paris 6 (LIP6), Equipe PEQUAN
Lieu :Laboratoire d'Informatique de Paris 6 (LIP6) 4 place Jussieu, Paris 5e
encadrant : Fabienne JEZEQUEL
dates :du 02/04/2011 au 14/09/2012
Rémunération : 417,09 euros


2. Refactoring semi-automatique de programmes Jave vers des design patterns


organisme :LIP6
Lieu :LIP6 équipe Move
encadrant : Mikal Ziane http://www.lip6.fr/actualite/personnes-fiche.php?ident=P68
dates :du 02/04/2011 au 14/09/2012
Rémunération :gratification standard (environ 417 euros)


3. Parallélisation d’algorithmes de traitement de l’image en biologie dans le cadre d’études précliniques.


Lieu :CEA - Fontenay-aux-Roses
encadrant : Nicolas Souedet (Nicolas.Soueded@cea.fr)


4. Implémentation d’une bibliothèque permettant un accès partiel en lecture/écriture pour des algorithmes de traitement de l’image en microscopie numérique.


Lieu :CEA - Fontenay-aux-Roses
encadrant : Nicolas Souedet (Nicolas.Soueded@cea.fr)


5. Analyse automatique de programmes concurrents et dynamiques


Lieu :Laboratoire d'Informatique de Paris 6. Département RSR. Equipe APR.
encadrant : PESCHANSKI Frederic
dates :du 01/04/2011 au 15/09/2011
Rémunération :gratification standard (env. 417 euros mensuel)


6. Etude quantitative des arbres de synchronisation


Lieu :Laboratoire d’Informatique de Paris 6. Département RSR. Equipe APR.
encadrant : Antoine.Genitrini@lip6.fr ; Frederic.Peschanski@lip6.fr
dates :du 01/04/2011 au 15/09/2011
Rémunération :gratification standard (env. 417 euros mensuel)


7. Calculs de consommation de ressources pour langage fonctionnel typé


organisme :Equipe APR - RSR/LIP6
Lieu :Equipe APR - RSR/LIP6 - Campus Jussieu
encadrant : Emmanuel Chailloux (Emmanuel.Chailloux@lip6.fr)
dates :du 01/04/2011 au 16/09/2011
Rémunération :gratification standard (environ 400 euros mensuels)


8. Méthode B et composants certifiés


organisme :PPS
Lieu :Laboratoire PPS
encadrant : MANOURY Pascal
Rémunération :à définir


9. Stage Ingénieur Dévelopment - Etude Metriques Logicielles pour Scade 6


organisme :Esterel Technologies
Lieu :Esterel Technologies, Elancourt
encadrant : François-Xavier Fornari
Rémunération :Gratification standard


10. Langages de programmation et données ouvertes


organisme :Inria Sophia-Antipolis Méditerranée
Lieu :Équipe Indes, Inria Sophia-Antipolis
encadrant : Manuel Serrano (http://www-sop.inria.fr/members/Manuel.Serrano/)
dates :du 01/04/2012 au 01/09/2012
Rémunération :1126 euros net par mois


11. Extraction automatique de Lignes de Produits Logiciels


Lieu :UPMC-LIP6
encadrant : Tewfik ZIADI
dates :01/04/2012 au 30/09/2012
Rémunération :417 euro


12. Rétro-ingénierie de modèles comportementaux à partir de traces dʼexécution en utilisant les techniques dʼapprentissage automatique


organisme :UPMC-LIP6
Lieu :LIP6(Move-Malire)
encadrant : Nicolas BASKIOTIS, Nicolas.Baskiotis@lip6.fr Lom Messan HILLAH, Lom-Messan.Hillah@lip6.fr Sylvain LAMPRIER, Sylvain.Lamprier@lip6.fr Tewfik ZIADI, Tewfik.Ziadi@lip6.fr
dates :01/04/2011 au 30/08/2011
Rémunération :Oui (standard)


13. Extension Fortran du framework d’accélération KASH


organisme :CEA/DEN
Lieu : CEA Saclay (http://www-centre-saclay.cea.fr)
encadrant : Jérôme Dubois (CEA/DEN) jerome.dubois@cea.fr,
dates :01/04/2012 au 31/09/2012


14. Parametric Research on Multi-level Auto-Tuning for High-End Numerical Kernels


Lieu : CEA Saclay (http://www-centre-saclay.cea.fr)
encadrant : Christophe Calvin (CEA/DEN), Jérôme Dubois (CEA/DEN), Tony Drummond (LBNL, USA), Osni Marques (LBNL, USA) christophe.calvin@cea.fr, jerome.dubois@cea.fr,


15. Modélisation d’expressions mathématiques en vue de leur transcription automatique en Braille


organisme :Laboratoire THIM
Lieu :Ce stage se déroulera dans les locaux du laboratoire THIM, sur le campus de l’Université Paris 8 à Saint Denis (D301).
encadrant : Dominique Archambault (dominique dot archambault at univ-paris8 dot fr)
Rémunération :gratification standard (env. 417 euros mensuel)


16. Le dénombrement d’homomorphismes de graphes


Lieu :Institut Camille Jordan
encadrant : zeng@math.univ-lyon1.fr
dates :du 01/04/2011 au 15/09/2011
Rémunération :gratification standard (env. 417 euros mensuel)