Logic List Mailing Archive

Invited Researcher position in verification, Paris (France)

===============================
  "Invited researcher" position in LIAFA 
<http://www.liafa.jussieu.fr/index_en.php>
========================

Contact: Tayssir TOUILI <http://www.liafa.jussieu.fr/%7Etouili/> 
(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)