[ecoop-info] "Invited researcher" position at LIAFA, Paris, France: Software Analysis
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
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...
More information about the ecoop-info