Université Bordeaux 1
Computing Ph.D. School


----------

Thesis subject offers
2013

This list is updated at each arrival of a new offer. This page should be consulted regularly.

Application procedures for ministerial research funding are on the School's site (cf. Offres de Thèses).

Funding

Thesis funding is essentially of two types:

  • open ("or merit"): after agreement with a thesis supervisor to work on a subject, students are ranked according to their Master results. The best students are then funded for their chosen subject.
  • directed: these subjects have a guarantee of funding independent of the quality of candidates.

Because of the multiplicity of types of funding (university, CNRS, INRIA, Region, CIFRE, ANR, DGA, ...), the possibilities of funding are not all known at the same date.

You can apply for 2 thesis subjects provided you indicate the order of priority between the two.

How to apply?

  1. Contact the thesis supervisor for his agreement.
  2. The necessary documents are available on the School's web site:
* For ministerial and university funding: cf. Offres de Thèses.
* For other sources (ANR, Region, DGA, CIFRE, ...): cf. Admission.

Applications should be sent to: Cathy Roubineau, LaBRI, Université Bordeaux 1, 351 Cours de la Libération, 33405 Talence


É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