Invited Researcher position in verification, Paris (France)

An "Invited researcher" position is available in the "Verification" team in LIAFA (CNRS and Univ. Paris Diderot). The topic is the development of new original model-checking and static analysis techniques for the analysis of software and/or concurrent programs. The duration can vary between 4 and 10 months. The position is available immediately.

Candidates must have a PhD in computer science, or be a PhD student close to finishing. The candidate must send a CV and recommendation letters to Tayssir TOUILI

For more information, see the LIAFA website at http://www.liafa.jussieu.fr/index_en.php or contact Tayssir TOUILI (http://www.liafa.jussieu.fr/~touili/, email touili at liafa.jussieu.fr).