[ecoop-info] "Invited researcher" position at LIAFA, Paris, France: Software Analysis

Tayssir Touili touili at liafa.jussieu.fr
Mon Mar 5 17:24:33 CET 2012

Please distribute (apologies for multiple postings):


  "Invited researcher" position in LIAFA 

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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://web.satd.uma.es/pipermail/ecoop-info/attachments/20120305/60c4ebba/attachment.html 

More information about the ecoop-info mailing list