PhD student position on mathematical foundations of computational interactive music, Bordeaux (France)

LaBRI (Laboratoire Bordelais de Recherche en Informatique) at the University of Bordeaux offers a full PhD Position for three years in Mathematical Foundations of Computational Interactive Music The candidate will join both Formal Methods and Multimedia teams at LaBRI Bordeaux. He will contribute to the development of the research project INEDIT, granted by the french research agency ANR, that also integrate the research and creation centers in computational music IRCAM (Paris) and GRAME (Lyon).

This project aims in particular at bridging the gap between formal methods theory and techniques, and application in computer assisted interactive music. A good background in theoretical computer science (Automata theory, Logic, Algebraic language theory, for words, trees, data-words, etc...) is expected. Basic knowledge of music theory can be useful but is not mandatory.

Please send your application ultimately by *** September 21 ***. More details on the research context and PhD subject proposal can be found at http://www.labri.fr/perso/janin/