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 :1 Septembre 2011
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 :1 Septembre 2011
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 :1 Septembre 2011
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 :1 Septembre 2011
encadrant : Nicolas Souedet (Nicolas.Soueded@cea.fr)

5. Analyse automatique de programmes concurrents et dynamiques


Lieu :1 Septembre 2011
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 :1 Septembre 2011
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 :1 Septembre 2011
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 :1 Septembre 2011
encadrant : MANOURY Pascal
Rémunération :à définir

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


organisme :Esterel Technologies
Lieu :1 Septembre 2011
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 :1 Septembre 2011
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 :1 Septembre 2011
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 :1 Septembre 2011
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 :1 Septembre 2011
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 :1 Septembre 2011
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 :1 Septembre 2011
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 :1 Septembre 2011
encadrant : zeng@math.univ-lyon1.fr
dates :du 01/04/2011 au 15/09/2011
Rémunération :gratification standard (env. 417 euros mensuel)