PhD student position in verification, Paris (France)

A PhD position is available in the "Verification" team in LIAFA, Paris. The subject of the thesis is about Software verification. The PhD student is expected to investigate and develop novel techniques, algorithms and tools for the analysis of software.

The position is available immediately. Candidates must have a master in computer science. The candidate must send a CV, university grades, recommendation letters, and a motivation letter to Tayssir TOUILI (touili at liafa.univ-paris-diderot.fr)

For more information, see the LIAFA site at http://www.liafa.univ-paris-diderot.fr/index_en.php or the webpage of Tayssir TOUILI at http://www.liafa.jussieu.fr/%7Etouili/.