Université Bordeaux 1
Computing Ph.D. School


----------

Thesis subject offers
2012

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

Final date for submitting an application for ministerial or university funding (BQR, open or directed): End June 2012

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

  • Modelisation et simulation de graphes aléatoires dynamiques
- Mots-clés: algorithmes probabilistes, structures de données randomisees, graphes aléatoires
- Directeur: Philippe Duchon

  • Calculabilités distribuées
- Mots-clés: Calcul distribué, Modèles de calcul, Calculabilité
- Directeur: C. travers

  • Mémoire Transactionnelle fortement concurrente
- Mots-clés: programmation concurrente, structure de données fortement concurrentes, synchronisation, mémoire transactionnelle, algorithmique, complexité
- Directeur: Alessia Milani et Nicolas Hanusse

  • Optimisation de requêtes par matérialisation dans un environnement distribué
- Directeur: Nicolas Hanusse et Sofian Maabout

  • Quasi-isomorphime de graphes : Algorithmes et Visualisation pour des données médicales
- Mots-clés: fouille de données, visualisation, algorithmes de graphes
- Directeur: Nicolas Hanusse

  • Fouille de données et Visualisation : des ensembles fréquents maximaux aux dépendances fonctionnelles
- Mots-clés: fouille de données, visualisation, algorithmes de graphes
- Directeur: Romain Bourqui et Nicolas Hanusse


Équipe Image et son

  • Utilisation d'interfaces cerveau-ordinateur passives pour évaluer, concevoir et optimiser des interfaces utilisateurs 3D
- Mots-clés: Interfaces 3D, interfaces cerveau-ordinateur, expérience utilisateur
- Directeur: Fabien Lotte, Martin Hachet

  • Etude et développement d’une sémantique opérationnelle pour les expressions aux langages de structures rythmiques avec anticipations et prolongations.
- Mots-clés: théorie du contrôle, système temps-reel, langages temporisés
- Directeur: David JANIN

  • Partitions interactives -- Ordonnancement temps réel et incrémental de flux multimedia.
- Mots-clés: processus multimedia, relations temporelles, calcul synchrone/asynchrone
- Directeur: Myriam Desainte-Catherine, Pierre Hanna et Matthias Robine

  • Intégration d'analyse quantitative et qualitative de réseaux.
- Mots-clés: Modélisation sous contrainte de réseaux biologiques, analyse de flux métaboliques, graphe, simulation.
- Directeur: M.Beurton-Aimar et S. Colombié

  • Acquisition et manipulation de l'apparence dans des environnements a éclairement complexe.
- Mots-clés: Rendu expressif, apparence 3D, acquisition, édition, perception visuelle.
- Directeur: Pascal Barla

  • Extraction et reconnaissance des objets dans des scènes vidéo complexes:
    application au monitoring vidéo des patients atteints de la maladie Alzheimer .
- Directeur: Jenny Benois-Pineau

  • Détection, classification et analyse du comportement d’oiseaux à partir de vidéos
- Directeur: Henri Nicolas


Équipe Langages, Systèmes et Réseaux (LSR)

  • Architecture P2P pour Réseaux Sociaux Privés Virtuels.
- Mots-clés: réseau social, protocoles de sécurité, distribution de clés, VPN
- Directeur: Damien Magoni

  • Algorithmique et applications pour les flottes hétérogènes multiniveaux de matériels mobiles
    communicants autonomes (drones, robots, etc.)
- Directeur: Serge Chaumette et Olivier Ly

  • Towards a Development and Verification Methodology Dedicated to the Orchestration of Networked Devices
- Mots-clés: Design language, Static Analysis, Generative Programming, Reliability, Quality of Service
- Directeur: Charles Consel

  • Evolution application WEB
- Directeur: Xavier Blanc

  • Model Consistency
- Directeur: Xavier Blanc

  • Programmation multi-vues
- Directeur: Laurent Réveillère


Équipe Méthodes Formelles

  • Mathematical Structures for Reachability Sets and Relations
- Mots-clés: Vector Addition System with States (VASS), Presburger Arithmetic, Semilinearity, Reachability Analysis
- Directeur: Jérôme Leroux et Grégoire Sutre

  • Semilinearity of Vector Addition Systems with States
- Mots-clés: Vector Addition System with States (VASS), Presburger Arithmetic, Semilinearity, Reachability Analysis
- Directeur: Jérôme Leroux et Grégoire Sutre

  • Vérification efficace d'automates temporisés
- Mots-clés: model-checking, automates temporisés, systèmes temps-réel
- Directeur: Igor Walukiewicz et Frédéric Herbreteau

  • Extracting structure from low-level code
- Mots-clés: Vérification de logiciels, shape analysis, interprétation abstraite
- Directeur: Olivier Ly, Aymeric Vincent, Igor Walukiewicz

  • Suites de mots et automates
- Mots-clés: Automates-Suites-Décidabilité
- Directeur: Géraud Sénizergues

  • Equivalence des séries K-algébriques
- Mots-clés:Automates-Séries-Transducteurs-Décidabilité.
- Directeur: Géraud Sénizergues


Équipe Modèles et algorithmes pour la bio-informatique et la visualisation

  • Discrétisation de l'espace pour une visualisation interactive
- Mots-clés: Visualisation d'Information, algorithmique de graphe, topologie, interaction/exploration.
- Directeur:Romain Bourqui, David Auber, Jean-Philippe Domenger

  • Development and application of algorithms of data-mining and classification for the reconstruction of neurodegenerative diseases related networks
- Mots-clés: classification, data-mining, peptides, inflammatory processes
- Directeur: Macha NIKOLSKI (LaBRI) and Klaus PETRY (Inserm U1049)

  • ADN, Algorithms for Distributed biological Networks
- Mots-clés: Calcul distribué sur cloud, Fouille de données et classification, Inférence de réseaux biomoléculaires, Génomique comparée, Comparaison de réseaux métaboliques
- Directeur: Macha Nikolski ou Pascal Durrens

  • Développements de modèles informatiques et statistiques spécifiques aux séquences génomiques virales
- Mots-clés: métagénomique virale, NGS, bioinformatique, méthode d'apprentissage, inférence de motifs, comptage OTU
- Directeur: Macha Nikolski et Patricia Thébault

  • Visualisation/édition de graphes par la réécriture de graphe.
- Mots-clés: visualisation, réécriture de graphe, graphes dynamiques
- Directeur: Bruno Pinaud, Guy Melançon

  • Quasi-isomorphime de graphes : Algorithmes et Visualisation pour des données médicales
- Mots-clés: fouille de données, visualisation, algorithmes de graphes
- Directeur: Nicolas Hanusse

  • Fouille de données et Visualisation : des ensembles fréquents maximaux aux dépendances fonctionnelles
- Mots-clés: fouille de données, visualisation, algorithmes de graphes
- Directeur: Romain Bourqui et Nicolas Hanusse



Équipe Support et Algorithmes pour les Applications Numériques Hautes performances (Satanas)

  • Algorithmes parallèles de partitionnement de graphes pour les architectures exaflopiques
- Mots-clés: Architectures hétérogènes, NUMA, Placement statique, Repartitionnement dynamique
- Directeur: François PELLEGRINI


Propositions de laboratoires extérieurs

  • Propositions de thèses en Espagne.

Rien pour l'instant.

Page mise à jour le 14/06/2012 à 13:59