Propositions de stage en Laboratoire

Recherche d'un stage en laboratoire

Vous pouvez choisir votre stage de magistère parmi les sujets de TER ou de master. Dans le cadre du magistère on attend en une prolongation du stage, une extension du sujet et une soutenance supplémentaire qui donne la note de magistère. Mais vous pouvez aussi trouver un stage sur un autre sujet en prenant contact directement avec une équipe de recherche (académique ou industrielle). Dans tous les cas le sujet devra être validé par les responsables du Magistère.

Les 5 étapes de la demande de stage

  1. Commencez par lire la description des axes de recherche des laboratoires d'informatique de Grenoble (ci-dessous)
  2. Repérez où sont abordés les thèmes qui vous intéressent : un même thème peut être présent dans différents labos qui l'abordent sous un angle différent.
  3. Allez consulter les pages web des équipes de recherches et leurs publications récentes pour cerner celles qui vous intéressent le plus.
  4. Vous trouverez l'email de la personne à contacter sur les pages web des équipes.
  5. Envoyez une demande de stage par email à ces équipes en n'oubliant pas :
    • de vous présentez (CV rapide)
    • d'expliquer vos motivations pour rejoindre leur équipe
    • de précisez qu'il s'agit d'un stage de magistére (1.5 mois l'été) en plus du stage de votre filière principale
    • de donner l'adresse du site magistére et les noms des responsables
      site web du MIG (Magistère Informatique de Grenoble) :
      http://www-verimag.imag.fr/~perin/enseignement/Magistere/
      responsables : Cyril Labbé, Michaël Périn
    • de joindre un relevé de notes du semestre précédent (ça peut aider)

Les sujets de stages sont ceux du master Math-Info

Les laboratoires d'informatique de l'Université de Grenoble

  • GIPSA Lab : Grenoble images, parole, signal, automatique

    4 axes de recherche autour de « Physique et Informatique »

    1. SysCo - Systèmes non linéaires et complexité : prise en compte explicite des non linéarités des modèles, de leur complexité croissante tant au niveau des systèmes (grandes dimensions, contraintes, caractéristiques hybrides)
    2. Systèmes linéaires et robustesse : commande des systèmes dynamiques, prise en compte des incertitudes de modélisation et de perturbations diverses
    3. NECS - Contrôle des systèmes en réseaux (projet inria) : réseaux constitués de composants sans fils de faible coût, accroissement de la complexité de ces systèmes, réseau à reconfiguration dynamique de capteurs et d'actionneurs
    4. AGPiG - Architecture, Géométrie, Perception, Images, Gestes Cette équipe développe des algorithmes pour la modélisation géométrique, l'analyse d'images et de vidéos.
  • G-SCOP : Sciences pour la conception, l'optimisation et la production de Grenoble

    4 axes de recherche liés à l'informatique

    1. Optimisation Combinatoire
      • Analyse de problèmes : bonnes caractérisations, complexité et algorithmes
      • Théorie des graphes
      • Méthodes géométriques
    2. Recherche Opérationnelle pour les Systèmes de Production
      • Chaine logistique
      • Transport et localisation
      • Ordonnancement
      • Optimisation combinatoire appliquée et Optimisation Globale
    3. Gestion et conduite des systèmes de production
      • Gestion des flux physiques et énergétiques
      • Sûreté et maîtrise des risques
    4. Système d'Information, conception Robuste des Produits
      • PLM gestion des processus et représentation
      • Conception / Pré dimensionnement robuste
      • Dynamique des plans de tests industriels
  • LIG : Laboratoire d'Informatique de Grenoble

    5 axes de recherches, 22 équipes

    1. Génie des logiciels et des systèmes d'information
      • ADELE - environnements et outils pour le génie logiciel industriel
      • SIGMA - systèmes d'information - ingénierie et modélisation adaptables
      • VASCO - validation de systèmes, composants et objets logiciels
    2. Méthodes formelles, modèles et langages
      • CAPP - calculs, algorithmes, programmes et preuves
      • CONVECS - construction de systèmes concurrents vérifiés
      • TYREX - types et raisonnement pour le web
    3. Systèmes interactifs et cognitifs
      • E-MOTION - géométrie et probabilité pour le mouvement et l'action
      • IIHM - ingénierie de l'interaction homme-machine
      • MAGMA - modélisation d'agents autonomes en univers multi-agents
      • MeTAH - modèles et technologies pour l'apprentissage humain
      • PRIMA - perception, reconnaissance et intégration pour la modélisation d'activité
    4. Systèmes réparties, calculs parallèles, réseaux
      • DRAKKAR - réseaux et multimédia
      • ERODS - efficient and robust distributed systems
      • MESCAL - middleware efficiently scalable
      • MOAIS - multi-programmation et ordonnancement sur ressources distribuées pour les applications interactives de simulation
      • NANOSIM - nanosimulations and embedded applications for hybrid multi-core architectures
    5. Traitement de données et de connaissances à grande échelle
      • AMA - apprentissage : modèles et algorithmes (E.Gaussier)
      • EXMO - computer mediated exchange of structured knowledge
      • GETALP - groupe d'étude en traduction automatique et traitement automatisé des langues et de la parole
      • HADAS - heterogenous autonomous distributed data services
      • MRIM - modélisation et recherche d'information multimédia
      • STEAMER - spatio-temporal information, adaptability, multimedia and knowledge representation
  • LJK : Laboratoire Jean Kutzmann

    3 axes de recherche autour de « Mathématiques appliquées et Informatique »

    1. Géométrie et Image :
      • ARTIS - Acquisition, Représentation et Transformations pour l'Image de Synthèse (projet INRIA)
      • IMAGINE - Modélisation Intuitive et Animation pour les Mondes 3D Interactifs et les Environnements Narratifs (projet INRIA)
      • LEAR - Apprentissage et Reconnaissance en Vision (projet INRIA)
      • MGMI - Modélisation Géométrique & Multirésolution pour l'Image
      • PERCEPTION - Interpretation et Modelisation d'Images et Videos (projet INRIA)
      • MORPHEO - Capture et analyse de formes en mouvement (projet INRIA)
    2. Modèles et Algorithmes Déterministes :
      • BIPOP - Modélisation / simulation et commande des systèmes dynamiques non réguliers / optimisation non-différentiable (projet INRIA)
      • CASYS - Calcul exact, analyse et contrôle de systèmes dynamiques hybrides (symboliques/exacts/numériques)
      • EDP - Modélisation, analyse et calcul scientifique appliqué aux sciences du vivant et aux sciences des matériaux
      • MOISE - Méthodes mathématiques et numériques, calcul scientifique pour la modélisation directe et inverse en géophysique (projet INRIA)
      • STEEP - Soutenabilité / Territoire / Environnement / Economie et Politique (projet INRIA)
    3. Statistiques :
      • FIGAL - Fiabilité et Géométrie Aléatoire
      • MISTIS - Modélisation et Inférence de phénomènes aléatoires complexes et structurés (projet INRIA)
      • IPS - Inférence Processus Stochastiques
      • SAM - Statistique Apprentissage Machine
  • TIMA : Techniques de l'informatique et de la microélectronique pour l'architecture d'ordinateurs

    5 axes de recherche autour de « Conception et Vérification de Circuits »

    1. AMfoRS : Architectures and Methods for Resilient Systems
      • Spécification et vérification multi-niveaux d'architectures intégrant matériel et logiciel sur une puce
      • Modélisation, analyse et test au niveau système
      • Sûreté de fonctionnement des systèmes intégrés
      • Evaluations de sûreté de fonctionnement
      • Sécurité des systèmes intégrés
    2. CDSI : Design of Integrated devices, Circuits and Systems
      • Circuits et systèmes asynchrones (IPs asynchrones, NoCs, GALS, logique asynchrone reconfigurable, etc.)
      • Technologie asynchrone pour la sécurité matérielle
      • Échantillonnage non uniforme et traitement du signal associé (capteurs, imageurs, circuits, algorithmes)
      • Microsystèmes pour la médecine
      • Micro générateurs pour microsystèmes autonomes
      • Conception et technologies pour micro et nano systèmes intégrés
    3. RIS : Robust Integrated Systems
      • Architectures tolérantes aux fautes et auto réglées
      • Conceptions pour la Fiabilité face aux variabilités, le vieillissement, et les « soft errors »
      • Gestion de la consommation multi-niveaux (du OS jusqu'au silicium)
      • Auto test et auto réparation
      • Algorithmes de routage tolérants aux fautes, auto-adaptatives, et à faible consommation
      • Tolérants aux fautes avec prise en compte des variabilités, du vieillissement, et de la consommation
      • Recouvrement des erreurs au niveau réseau
      • Architectures mono-puces massivement parallèles robustes
      • Architectures robustes pour les nanotechnologies
      • Architectures durcies pour les applications spatiales
      • Évaluation de robustesse et qualification: test sous radiation, injection des fautes
    4. RMS : Reliable Mixed-signal Systems
      • Conception en vue du test de circuits analogiques, mixtes analogique-numérique et RF
      • Estimation des métriques de test
      • Calibrage des dispositifs RF/AMS
      • Prédiction et contrôle de la qualité et de l'efficacité énergétique
      • Modélisation de haut niveau des systèmes hétérogènes et multi-physique
    5. SLS : System Level Synthesis
      • Architectures parallèles, configurables et reconfigurables
      • Infrastructures logicielles pour les systèmes intégrés
      • Synthèse, génération et simulation de systèmes numériques intégrés
  • TIMC-IMAG : Techniques de l'imagerie, de la modélisation et de la cognition

    3 axes de recherche autour de « Biologie et Informatique »

    1. BCM (O. François) : Computational and Mathematical Biology
    2. DyCTiM (P. Tracqui) : Dynamique Cellulaire / Tissulaire et Microscopie fonctionnelle
    3. GMCAO (J. Troccaz): Biomechanical modelling, image processing, data fusion and robotics for computer-assisted medical interventions
  • VERIMAG : Conception / Analyse / Vérification / Certification de Systèmes Embarqués Critiques (automobile, avionique, centrale nucléaire, carte à puce, protocoles)

    8 axes de recherche autour des « Conception et Vérification de Systèmes Embarqués »

    1. Sécurité des systèmes informatiques
      • Analyse de vulnérabilité et test des applications sécrurisées (L.Mounier)
      • Analyse et preuve de sécurité des protocoles cryptographiques (C.Ené)
    2. Modélisation et analyse des réseaux de capteurs (L.Mounier)
    3. Modélisation et analyse des systèmes hybrides (= systèmes en interaction avec le monde physique) (G.Frehse)
    4. Algorithmes distribués (= protocoles réseaux) (S.Devismes)
    5. Outils de conception correcte par construction : assemblages corrects de composants fiables (S.Bensalem)
    6. Outils d'analyse de temps d'exécution, de consommation d'énergie (C.Maiza, F.Carrier)
    7. Outils d'analyse de programmes C embarqués (D.Monniaux)
      • new algorithms for static program analysis, in particular by bringing in techniques from mathematical optimization and game theory
      • advanced techniques for automatic inference of program invariants, especially numerical invariants
      • integrating a static analyzer into the CompCert certified compiler

    8. Certification, par preuve automatisée, des outils développés dans le laboratoire (M.Périn)
      • mots-clefs : preuve de programmes, assistant de preuve coq, logique, déduction, typage, programmation fonctionnelle

Les instituts de recheche partenaires des laboratoires de Grenoble

L'INRIA, le CNRS sont des instituts de recherche. Les équipes de recherche sont formées d'enseignants-chercheurs de l'université et de chercheurs-ingénieurs de ces instituts. Les équipes de recherche sont hébergées dans des locaux de l'université ou d'un institut de recherche.
  • La composante informatique du CNRS s'appelle INS2I. Elle est présente dans certains laboratoires de l'Université à travers ses chercheurs-ingénieurs et ses aides financières mais elle n'a pas de site spécifiques contrairement à l'INRIA et au CEA.
  • La composante informatique du CEA est rassemblé sur le site Minatech. C'est un institut financé sur fonds publiques et sur la commercialisation de ses résultats aux industriels. Les offres de stages du CEA (au niveau national) sont regroupées sur ce site.
  • INRIA Grenoble

    16 axes de recherche

    1. Modélisation, simulation et analyse numérique
      • NANO-D - Algorithmes pour la Modélisation et la Simulation de Nanosystèmes
      • OPALE - Optimisation et contrôle, algorithmiques numériques et intégration de systèmes complexes multidisciplinaires régis par des EDP
    2. Optimisation, apprentissage et méthodes statistiques :
      • MISTIS - Modélisation et Inférence de phenomenes aléatoires complexes et structures
    3. Modélisation, optimisation et contrôle de systèmes dynamiques
      • BIPOP - Modélisation, Simulation, Commande et Optimisation des Systèmes Dynamiques Non Réguliers
      • NECS - Systèmes Commandés en Réseau
    4. Algorithmique, calcul certifié et cryptographie :
      • ARIC - Arithmétiques des ordinateurs, méthodes formelles, génération de code
    5. Systèmes embarqués et temps réel
      • CONVECS - Construction de systèmes concurrents vérifiés
      • SPADES - Programmation de systèmes embarqués sûrs et adaptatifs
    6. Architecture et compilation
      • COMPSYS - Compilation et systèmes embarqués de calcul
    7. Réseaux et télécommunications
      • DANTE - Réseaux dynamiques : approche structurelle et temporelle
      • SOCRATE - Radio logicielle et radio cognitive pour les télécommunication
      • URBANET - Réseaux capillaires urbains
    8. Systèmes et services distribués
      • DICE - Données sur l'Internet au coeur de l'Economie
      • PRIVATICS - Modèles, architectures et outils pour la protection de la vie privée dans la société de l'information
    9. Calcul distribué et applications à très haute performance
      • AVALON - Architecture logicielle et algorithmique pour plateformes orientées service
      • MESCAL - Intergiciel, passage à l'échelle
      • MOAIS - Multi-programmation et Ordonnancement pour les Applications Interactives de Simulation
      • ROMA - Optimisation des ressources : modèles, algorithmes et ordonnancementSystèmes et services distribués

    10. Vision, Perception et interprétation multimédia
      • LEAR - Apprentissage et reconnaissance en vision par ordinateur
      • MORPHEO - Capture et Analyses de Formes en Mouvement
      • PERCEPTION - Interprétation et Modélisation d'Images et de Vidéos
      • PRIMA - Perception, reconnaissance et intégration pour la modélisation des activités
    11. Interaction et visualisation
      • IMAGINE - Modélisation Intuitive et Animation pour les Mondes 3D Interactifs et les Environnements Narratifs
      • MAVERICK - Modèles et Algorithmes pour la Visualisation et le Rendu
    12. Représentation et traitement des données et des connaissances
      • EXMO - Echanges de connaissance structurée médiatisés par ordinateur
      • TYREX - Types et raisonnement pour le web
    13. Robotique
      • E-MOTION - Géométrie et probabilité pour le mouvement et l'action
    14. Observation et modélisation pour les sciences de l'environnement
      • MOISE - Modélisation, Observations, Identification en Sciences de l'Environnement
      • STEEP - Soutenabilité, Territoires, Environnement, Economie et Politique
    15. Observation, modélisation et commande pour le vivant
      • DRACULA - Modélisation multi-échelle des dynamiques cellulaires : application à l'hématopoïese
      • NUMED - Modélisation numérique en médecine
    16. Biologie numérique et bioinformatique
      • BAMBOO - Un regard algorithmique sur les génomes, les cellules et l'environnement
      • BEAGLE - Artificial Evolution and Computational Biology
      • IBIS - Modélisation, simulation, analyse expérimentale et contrôle de réseaux de régulation bactériens
Responsables du Magistère : Cyril LABBÉ & Michaël PÉRIN
email : prenom.nom@imag.fr