******************************************************************************
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

******************************************************************************

Research context:

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.

Bureaucratic details: The PhD is expected to start in autumn 2012, but a later start can be 
negotiated. The amount of salary will be the french standard (no more, no less). Research 
furnitures and travel expenses will be covered.

Applications:
Applications and further information requests can be send to David Janin (e-mail: janin@labri.fr), 
local coordinator of the INEDIT project.

Applications should include:
- a cover letter (explaining your specific research interests and qualifications);
- a detailed Curriculum Vitae
- a list of all courses + grades, and a paragraph describing your MSc thesis project
- contact details of (at least) two professors that can provide a recommendation for your 
application.

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/