PhD student position in verification of asynchronous distibuted systems, Bordeaux (France)

The University of Bordeaux proposes a funded PhD position on the verification of asynchronous distributed systems. The PhD position must start in 2014 and will take place at LABRI, France, with proposed subject 'High-Quality Abstractions for the Verification of Asynchronous Distributed Systems'.

Candidates should hold a Master degree in Computer Science (ideally with courses in formal verification, theoretical computer science and mathematical structures for CS) or equivalently have graduated from a Computer Science Engineering School with a strong background in theoretical computer science.

Required documents are:
* a detailed curriculum vitae
* a copy of the master or the PhD diploma
* a reference letter by their master supervisor.

For more information, see the PhD Proposal at http://www.labri.fr/perso/leroux/encadrement/ or contact Jerome Leroux at leroux at labri.fr.