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)

Sujets 2013-2014

  • Les sujets du master Math-Info sont repertoriés ici

  • D'autres sujets

    • sujet 5: Preuve en Coq d'un algorithme distribué auto-stabilisant de recherche du centre d'un graphe acyclique

    • sujet 4: Étude de l'impact de la compilation sur certaines propriétés des programmes dans les systèmes embarqués temps-réel

    • sujet 3: Étude de la perte d'information lors de la compilation des systèmes temps-réel critique

    • sujet 2: Résolution de systèmes de contraintes en nombre entier, un outil pour les systèmes temps-réel embarqués

    • sujet 1: Analyse temporelle de code industriel d'un système embarqué temps-réel

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 :
      • MS3 - Méthodologie Statistique et Sciences Sociales
      • 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)
      • MATHFI - Mathématiques financières
      • IPS - Inférence Processus Stochastiques
      • SAM - Statistique Apprentissage Machine

  • TIMA : Techniques de l'informatique et de la microélectronique pour l'architecture d'ordinateurs

    6 axes de recherche autour de « Conception et Vérification de Circuits »
    1. ARIS - Architectures for Robust and complex Integrated Systems
      • Architecture multicoeurs massivement parallèles reconfigurables
      • Gestion d'énergie du système jusqu'au silicium
      • Architectures tolérantes aux fautes et auto-adaptatives
      • Évaluation de la robustesse et qualification : tests aux radiations, injections de fautes
      • Architectures sécurisées
      • Architectures pour les nanotechnologies

    2. CIS - Concurrent Integrated Systems
      • Circuits et systèmes asynchrones (IPs asynchrones, NoCs, GALS, etc)
      • Échantillonnage non uniforme et traitement du signal associé (algorithmes, architectures, circuits)
      • Logique asynchrone reconfigurable
      • Capteurs de vision CMOS intelligents

    3. MNS - Micro and Nano Systems
      • Réseaux de capteurs sans fil
      • Microgénérateurs de courant pour microsystèmes autonomes
      • Conception et technologies pour micro et nanosystèmes intégrés

    4. RMS - Reliable Mixed-signal Systems
      • Techniques de test de dispositifs intégrés mixtes, RF, microsystèmes
      • Logiciels pour le test de circuits mixtes, RF, microsystèmes
      • Conception de circuits mixtes, RF, microsystèmes
      • Conception en vue du test de circuits analogiques, mixtes et RF

    5. SLS - System Level Synthesis
      • Architecture et logiciels de CAO pour systèmes multiprocesseurs sur la puce et pour réseaux intégrés sur la puce
      • Modélisation et techniques de simulation pour les interfaces logiciels/matériels
      • Spécification et mise en oeuvre de logiciels embarqués
      • Plateforme de prototypage reconfigurable pour la validation de systèmes

    6. VDS - Verification & Modeling of Digital Systems
      • Flot de vérification
      • Vérification basée sur les assertions aux niveaux RTL et TLM
      • Méthodes formelles pour la vérification et le déboguage
      • Preuve de bon fonctionnement par démonstration de théorème
      • Simulation symbolique

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

  • 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