imprimer cette page

Proposition de sujets de thEses (classées par département, en français ou en anglais)

D1 - SystÈmes large Échelle

Privacy through decentralization
Equipe : ASAP
Consultez l'offre : pdf

Securité et respect de la vie privée dans les réseaux de véhicules (VANET)
Equipe : CIDER
Consultez l'offre : pdf

Réputation anonyme dans les réseaux dynamiques auto-organisés
Equipe : CIDER
Consultez l'offre : pdf

• Numerical methods for the simulation of flow in multi-scale fracture networks
Equipe : SAGE
Consultez l'offre : pdf

• Raffinement local d'un maillage triangulaire 2D pour la simulation de transfert de chaleur avec changement de phase
Equipe : SAGE
Consultez l'offre : pdf

D2 - RÉseaux, tÉlÉcommunication et services

• Reconfiguration du routage multicast dans les réseaux NG
Equipe : AT-NET
Consultez l'offre : pdf

Modèles probabilistes pour les systèmes distribués
Equipe : DIONYSOS
Consultez l'offre : pdf

• Etudes analytiques de modèles fluides pour réseaux haut débit
Equipe : DIONYSOS
Consultez l'offre : pdf

• Inter-domain and network neutrality debate
Equipe : DIONYSOS
Consultez l'offre : pdf

• Radio resources management for machine-to-machine communications in future cellular networks
Equipe : DIONYSOS
Consultez l'offre : pdf

Multi-agent belief revision
Equipe : DISTRIBCOM
Consultez l'offre : pdf

D3 - Architecture

• Reconciling dynamic code generation with static predictability guarantees
Equipe : ALF
Consultez l'offre : pdf

• Cool-nodes: Réduction de la consommation des nœuds dans les réseaux de capteurs corporels sans fil
Equipe : CAIRN
Consultez l'offre : pdf

• Dynamic energy-efficient algorithms for autonomous wireless body area sensor networks
Equipe : CAIRN
Consultez l'offre : pdf

D4 - Langage et gÉnie logiciel

Certification of Dynamic Distributed Applications
Equipe : CELTIQUE
Consultez l'offre : pdf

Retro-engineering of auto-modifying code by static analysis
Equipe : CELTIQUE
Consultez l'offre : pdf

Vérification randomisée de résultats d’analyse statique
Equipe : CELTIQUE
Consultez l'offre : pdf

• Multi-threaded code generation for polychronous programs
Equipe : ESPRESSO/AOSTE
Consultez l'offre : pdf

• Systèmes collaboratifs à l'aide de documents actifs
Equipe : S4
Consultez l'offre : pdf

Formal Foundations to Verify DSML Compilers
Equipe : TRISKELL
Consultez l'offre : pdf

Formally assuring reconfiguration decisions in software intensive systems
Equipe : TRISKELL
Consultez l'offre : pdf

• Software Testing of Interactive System
Equipe : TRISKELL
Consultez l'offre : pdf

• Resource Reservation in a pervasive middleware
Equipe : TRISKELL
Consultez l'offre : pdf

D5 - Signaux et images numÉriques, robotique

• Guidage d’un robot porteur d’aiguille de biopsie par asservissement visuel échographique
Equipe : LAGADIC
Consultez l'offre : pdf

• Micro et nano-manipulation robuste par asservissement visuel
Equipe : LAGADIC
Consultez l'offre : pdf

• Comment entendre la forme d'un violon ? Modélisation coparcimonieuse des ondes sonores.
Equipe : METISS
Consultez l'offre : pdf

• Localisation et séparation de sources sonores pour la reconnaissance de la parole en environnement réel
Equipe : METISS
Consultez l'offre : pdf

• Quantitative analysis of arterial spin labelling mri for robust parametric information of perfusion maps
Equipe : VISAGES
Consultez l'offre : pdf

Dimensionality Reduction And Statistical Learning For Computational Modelling Of Natural Evolution Of Brain Pathologies
Equipe : VISAGES
Consultez l'offre : pdf

D6 - Media et interactions

• Modélisation de la prosodie pour la synthèse de la parole et la transformation de voix
Equipe : CORDIAL
Consultez l'offre : pdf

• Etude des algorithmes de sélection d'unités pour la synthèse de la parole à partir du texte
Equipe : CORDIAL
Consultez l'offre : pdf

Apprentissage incrémental et systèmes auto-évolutifs pour la reconnaissance de gestes manuscrits
Equipe : INTUIDOC
Consultez l'offre : pdf

Inférence grammaticale interactive dans des grammaires visuelles pour la reconnaissance de documents structurés
Equipe : INTUIDOC
Consultez l'offre : pdf

Indexation d'images par arbres des coupes
Equipes : SEASIDE-TEXMEX
Consultez l'offre : pdf

• MusicGest : sketched-based gesture interaction for data-driven musical sound control
Equipe : SEASIDE, IRISA-UBS, Vannes
Consultez l'offre : pdf

• SIGN3D - Editing and information retrieval with high definition French sign language data
Equipe : SEASIDE, IRISA-UBS, Vannes
Consultez l'offre : pdf

• INGREDIBLE - Learning and synthesis of expressive gesture in virtual theater situations
Equipe : SEASIDE, IRISA-UBS, Vannes
Consultez l'offre : pdf

Structuration sémantique hiérarchique de collections vidéos
Equipe : TEXMEX
Consultez l'offre : pdf

Structuration automatique non supervisée de flux de télévision
Equipe : TEXMEX
Consultez l'offre : pdf

Morphological and hierarchical approaches for text extraction from images and videos
Equipe : TEXMEX
Consultez l'offre : pdf

• Analyse musculo-squelettique de l’humain au poste de travail
Equipe : VR4i
Consultez l'offre : pdf

Le calcul haute performance à l'aide des algorithmes de détection de collision
Equipe : VR4i
Consultez l'offre : pdf

Interaction avec un monde virtuel basée sur le geste et l’état mental
Equipe : VR4i
Consultez l'offre : pdf

Retours immersifs pour la manipulation dextre en réalité virtuelle
Equipe : VR4i
Consultez l'offre : pdf

D7 - Gestion des donnÉes et de la connaissance

• Exploration of patterns extracted with data mining techniques from relational and geographical data
Equipe : LIS
Consultez l'offre : pdf

• Guided composition of tasks with logical information systems - application to data analysis workflows in bioinformatics
Equipe : LIS
Consultez l'offre : pdf

Gestion avancée de systèmes de préférences appliquée à la réservation de voyage
Equipe : PILGRIM
Consultez l'offre : pdf

• Système d’intégration d’information comportant des données imprécises et incertaines
Equipe : PILGRIM
Consultez l'offre : pdf

• Syntactic Modelling of Protein Structure
Equipe : SYMBIOSE/DYLISS
Consultez l'offre : pdf

Assemblage de-novo de génomes complexes
Equipe : SYMBIOSE/GENSCALE
Consultez l'offre : pdf

High Throughput Genomic Data Compression
Equipe : GENSCALE
Consultez l'offre : pdf

Parallel Algorithms for Optimization Problems on Graphs
Equipe : SYMBIOSE
Consultez l'offre : pdf

• A parallel algorithm for the DMDGP
Equipe : SYMBIOSE
Consultez l'offre : pdf


 

Faire un doctorat A l'Irisa

Pourquoi faire un doctorat A l'Irisa ?

Les équipes de l'Irisa proposent chaque année une cinquantaine de thèses sur de nombreux sujets de recherche.
Les doctorants de l'Irisa participent pleinement à la vie du laboratoire : séminaires, groupe de travail, conseil du laboratoire, contrat de recherche etc. Ils bénéficient à l'accès aux centres de documentation INRIA, CNRS et universités. Les doctorants ont accès à des formations complémentaires : cours scientifiques, formations à l'entreprise, doctorales, anglais scientifique, etc. Par ailleurs l'Irisa entretient de nombreux liens avec les sociétés innovantes, en particulier, par le biais de la Fondation Michel Métivier.

Les docteurs trouvent des débouchés dans les secteurs public et privé. Par exemple, parmi les docteurs ayant soutenu leur thèse en 2002, 36 % ont trouvé un emploi d'enseignant-chercheur (hors ATER ou post-doc), 11 % un emploi de chargé de recherche et 17 % travaillent comme ingénieur de recherche dans des laboratoires de recherche privés ou publics. De nombreux docteurs (34 % en 2004) font un stage post-doctoral afin de compléter leur expérience internationale.

Tous les doctorants de l'Irisa bénéficient d'un financement durant leur doctorat. Des financements variés existent : allocations de recherche du ministère, contrat de thèse INRIA, contrat de thèse Cifre, etc.

Comment candidater pour faire son doctorat A l'Irisa ?

Un candidat à une thèse peut consulter les pages décrivant les activités scientifiques conduites à l'IRISA. (cf onglets "Equipes" ou "Relations internationales" de la rubrique Recherche".

Pour candidater vous pouvez adresser une lettre de candidature, accompagnée d'un CV, au responsable du sujet de thèse choisi ou aux responsables des projets concernés.

Chaque année les allocations de recherche du Ministère proposées par l'Irisa dans le cadre de l'Ecole Doctorale Matisse sont ouvertes par concours national.

Les types de financement des thèses peuvent être différents suivant les propositions de sujets (allocation de recherche du ministère, contrat de recherche doctoral Inria, Cifre, ...). Pour savoir quel financement est prévu, veuillez contacter le directeur de thèse.

Pour tout renseignement s'adresser au responsable (phd@irisa.fr) de la formation doctorale de l'Irisa.

    logo Rennes1logo cnrslogo insalogo ens-cachan