Logic List Mailing Archive

PhD student position on mathematical foundations of computational interactive music, Bordeaux (France), Deadline: 21 Sep 2012

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