"Invited researcher" position at LIAFA, Paris, France: Software Analysis

Please distribute (apologies for multiple postings):

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

 "Invited researcher" position in  LIAFA
========================

Contact: Tayssir TOUILI   (touili@liafa.jussieu.fr)

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.


How to apply:
==========
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   (touili@liafa.jussieu.fr)