Bourse doctorat : Fondements théoriques de l'informatique musicale - Maison des Sciences de l'Homme Paris Nord

• Une bourse thèse sera disponible au LaBRI, université de Bordeaux, en fondements théoriques de l'informatique musicale. D'une durée de 3 ans, la thèse pourra commencer à la fin de l'été 2012. Le travail de recherche devra être conduit dans l'un des domaines suivants : 
- théorie algébrique des langages et automates pour la modélisation et la performance musicale interactive,
- architecture des systèmes interactifs temps-réel et hiérarchiques pour l'exécution de musique assistée par ordinateur.
Ce travail s'intégrera au projet ANR INEDIT (2012-2016) qui regroupe le LaBRI (Bordeaux), l'IRCAM (Paris) et le GRAME (Lyon). L'un des objectifs du projet INEDIT étant de mettre en oeuvre des techniques et outils issus des méthodes formelles dans le domaine de l'informatique musicale, le doctorant devra posséder des connaissances solides sur tout ou partie des fondements des méthodes formelles pour l'informatique. Cela inclus en particulier : la théorie des automates, la théorie des jeux discrets, la logique (théorie des modèles ou théorie des la démonstrations), la théorie algébrique des langages ou la programmation par contraintes. Un goût prononcé pour la musique, de n'importe quel style ou origine, sera aussi le bienvenu. Ce travail de recherche se déroulera au sein des équipes Méthodes Formelles et Images et Son du LaBRI, en collaboration étroite avec les compositeurs du SCRIME.

Contact : 
David Janin :  Cette adresse email est protégée contre les robots des spammeurs, vous devez activer Javascript pour la voir.