Université Bordeaux 1
Formation doctorale en Informatique


----------

Propositions de sujets de thèse
Année 2013

Cette liste est mise à jour à chaque arrivée d'une nouvelle proposition. Cette page doit donc être régulièrement consultée.

Date limite pour candidater sur les allocations ministérielles: 15 juin 2013.

Vous désirez faire une thèse ?

  1. Prendre contact directement avec les directeurs pour avoir des renseignements. Les sujets surlignés en jaune ne sont pas attribués mais ont un financement garanti. Les directeurs de thèse recherchent un candidat pour un démarage rapide.

Comment candidater ?

  1. Contacter le directeur de thèse pour avoir son accord. le directeur de thèse doit écrire une lettre de soutien pour la candidature. Cette dernière doit être jointe dans le dossier.
  2. Le candidat joint également une lettre de motivation
  3. Les autres éléments du dossier d'admission à constituer est disponible sur le site de l'école doctorale :: ADMISSION.

Avant de déposer un dossier, bien lire A LIRE AVANT DE FAIRE UNE THESE

Les dossiers sont à envoyer à : Cathy Roubineau, LaBRI, Université Bordeaux 1, 351 Cours de la Libération, 33405 Talence

Financements

Les financements de thèse sont principalement de deux types :

  • blancs ("au mérite") : après l'accord avec un directeur de thèse pour travailler sur un sujet de thèse, les étudiants sont classés en fonction de leur résultat au master. Les meilleurs étudiants sont donc financés sur le sujet de leur choix. Ces allocations sont les allocations ministérielles (MESR)
  • fléchés : ces sujets ont une garantie de financement indépendamment de la qualité d'un candidat.

A cause de la multiplicité des types de financements (université, CNRS, INRIA, Région, CIFRE, ANR, DGA, ...), les possibilités de financements ne sont pas toutes connues à la même date.

Il est possible de postuler sur 2 sujets de thèses mais en indiquant la priorité entre les deux sujets.

Les modalités de candidature à une allocation de recherche ministérielle sont sur le site de l'école doctorale (cf. ADMISSION).


Équipe Combinatoire et algorithmique
  • Exploitation de nouvelles méthodes pour la prévision à court terme du trafic routier (Non attribué)
    • Mots clefs: Fouille de données, statistique
    • Sujet (pdf)
    • Directeurs: H. Nicolas et Akka Zemmari
  • Optimisation de requêtes sur des données massives dans un environnement distribué
    • Mots-clefs: données distribuées, cloud, map-reduce, fouille de données, structures de données compactes et distribuées, estimation
    • Résumé
    • Sujet (pdf)
    • Directeur: Nicolas Hanusse
  • Combiner les apprentissages motivés et associatifs
    • Mots clefs: apprentissage, neurosciences computationnelles, renforcement
    • Résumé
    • Sujet (pdf)
    • Directeur: F. Alexandre
  • Mémoire Transactionnelle fortement concurrente
    • Mots clefs: programmation concurrente, structure de données fortement concurrentes, synchronisation, mémoire transactionnelle, algorithmique distribuée, complexité
    • Résumé
    • Sujet (pdf)
    • Directeurs: C. Johnen, A. Milani
  • Information quantique pour le calcul distribué
    • Mots clefs: information quantique, calcul distribué
    • Résumé
    • Directeurs: C. Gavoille, A. Kosowski
  • graph colourings and mathematical programming
    • Mots clefs: semi-definite programming, linear programming, chromatic number, theta number
    • Résumé
    • Sujet (pdf)
    • Directeur: A. Pêcher
  • Codes identifiants et programmation mathématique
    • Mots clefs: codes identifiants, programmation linéaire, programmation semi-définie positive
    • Résumé
    • Sujet (pdf)
    • Directeur: A. Pêcher
  • Classification automatique de graphes dynamiques
    • Mots clefs: Graphes dynamiques, algorithmique de graphe, contextes de mobilités
    • Résumé
    • Sujet (pdf)
    • Directeurs: Arnaud Casteigts, Serge Chaumette, Colette Johnen
  • Domination de puissance
    • Mots clefs: graphes, domination, propagation, domination de puissance
    • Résumé
    • Sujet (pdf)
    • Directeurs: Paul Dorbec

Équipe Image et son
  • Exploitation de nouvelles méthodes pour la prévision à court terme du trafic routier (Non attribué)
    • Mots clefs: Fouille de données, statistique
    • Sujet (pdf)
    • Directeurs: H. Nicolas et Akka Zemmari
  • Rich Vector Shapes
    • Mots clefs: Multi-scale representations, Vector drawings, Shape analysis, Real-time rendering
    • Résumé
    • Directeur: G. Guennebaud
  • Modélisation des unités minimales pour la création et la pédagogie musicale
    • Mots clefs: analyse sonore, extractions de descripteurs timbraux, validation psychoacoustique
    • Résumé
    • Sujet (pdf)
    • Directeurs: M. Desainte-Catherine, P. Hanna, M. Robine, J.-L. Rouas
  • Analyse de trajectoires en utilisant une caméra avec information de profondeur
    • Mots clefs: camera, information de profondeur, analyse vidéo
    • Résumé
    • Sujet (pdf)
    • Directeur: H. Nicolas
  • Analyse et indexation vidéo et fusion multimodale pour le suivi et l'évaluation du traitement de la maladie de Parkinson
    • Mots clefs: Analyse et Indexation Vidéo, Fusion multimodale, Vidéo Portée, TIC pour la Santé, maladie de Parkinson
    • Résumé
    • Sujet (pdf)
    • Directeurs: R. Megret, J. Benois-Pineau
  • Development of multimodal imaging biomarkers for early detection of Alzheimer's disease
    • Mots clefs: medical image processing, features classification,Alzheimer's disease
    • Résumé
    • Sujet (pdf)
    • Directeurs: Pierrick Coupé et Jean-Philippe Domenger

Équipe Méthodes Formelles
  • Synthèse de contrôleurs distribués
    • Mots clefs: jeux, systemes distribues, systemes probabilistes
    • Résumé
    • Directeurs: H. Gimbert, A. Muscholl
  • Mathematical Structures for Reachability Sets and Relations
    • Mots clefs: Systèmes d'addition de vecteurs, Arithmétique de Presburger, Analyse d'atteignabilité
    • Résumé
    • Sujet (pdf)
    • Directeurs: J. Leroux, G. Sutre
  • Semilinearity of Vector Addition Systems with States
    • Mots clefs: Systèmes d'addition de vecteurs, Ensembles semilinéaires, Analyse d'atteignabilité
    • Résumé
    • Sujet (pdf)
    • Directeurs: J. Leroux, G. Sutre
  • Runtime validation of timed properties
    • Mots clefs: timed systems, runtime validation, enforcement, model based testing, test purpose, test generation, timed traces
    • Résumé
    • Sujet (pdf)
    • Directeurs: Y. Falcone, M. Mosbah, A. Rollet
  • Efficient Verification of Timed Automata
    • Mots clefs: Timed automata, Model-checking, Abstraction, Real-time systems
    • Résumé
    • Sujet (pdf)
    • Directeurs: F.Herbreteau, I. Walukiewicz
  • Extracting structure from low-level code
    • Mots clefs: software verification, binary program analysis, static analysis, abstract interpretation, theorem proving, CFG recovery, reverse engineering, obfuscation techniques
    • Résumé
    • Sujet (pdf)
    • Directeurs: E. Fleury, O. Ly, A. Vincent

Équipe Supports et AlgoriThmes pour les Applications Numériques hAutes performanceS
  • Programmation des architectures hétérogènes à l'aide de tâches divisibles
    • Mots clefs: Calcul parallèle, accélérateur, multicoeur, GPU, StarPU
    • Résumé
    • Sujet (pdf)
    • Directeurs: Pierre-André Wacrenier, Denis Barthou, Raymond Namyst
  • Support exécutif scalable pour les architectures hybrides distribuées
    • Mots clefs: Calcul parallèle, accélérateur, multicoeur, GPU, StarPU
    • Résumé
    • Sujet (pdf)
    • Directeurs: Raymond Namyst, Olivier Aumage, Samuel Thibault

Équipe Modèles et algorithmes pour la bio-informatique et la visualisation
  • Analyse de données temporelles multi-dimensionnelles et détection de corrélations
    • Mots clefs: fouille de données, analyse de données, données massives, big data
    • Résumé
    • Sujet (pdf)
    • Directeur: Sofian Maabout
  • Visualisation de données multi-dimensionnelles massives
  • Méthodes et algorithmes pour la visualisation de graphes dynamiques obtenus par réécriture
    • Mots clefs: graphes dynamiques, visualisation de graphes, interaction, réécriture de graphes, calcul d'isomorphisme
    • Résumé
    • Sujet (pdf)
    • Directeurs: G. Melançon, B. Pinaud
  • Représentation et exploration interactive de réseaux métaboliques
    • Mots clefs: Visualisation d'information, dessin de graphe, réseau métabolique, interaction homme-machine, dessin de graphe semi-automatique
    • Résumé
    • Sujet (pdf)
    • Directeurs: D. Auber, R. Bourqui
  • Méthodes bioinformatiques d’analyse de résistance aux traitements antihormonaux des cancers du sein
    • Mots clefs: bio-informatique, analyse
    • Sujet (pdf)
    • Directeurs: M. Nikolski et Richard Iggo

Équipe Programmation, Réseaux et Systèmes
  • Classification automatique de graphes dynamiques
    • Mots clefs: Graphes dynamiques, algorithmique de graphe, contextes de mobilités
    • Résumé
    • Sujet (pdf)
    • Directeurs: Arnaud Casteigts, Serge Chaumette, Colette Johnen
  • Supporting automatic change integration
Page mise à jour le 10/12/2013 à 14:52