[cav2010] PhD position in LIAFA, Paris, France: Software Model-checking

Please distribute (apologies for multiple postings):

===============================

A PhD position in LIAFA
==================

Contact: Tayssir TOUILI   (touili@liafa.univ-paris-diderot.fr)

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.



How to apply:
==========
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@liafa.univ-paris-diderot.fr)