Logic List Mailing Archive

Postdoctoral position in model checking, Paris (France),

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

Contact: Tayssir TOUILI <http://www.liafa.jussieu.fr/%7Etouili/> 
(touili@liafa.jussieu.fr)

A Postdoc position is available in the "Verification" team in LIAFA, 
Paris. The topic is the development of new original model-checking and 
static analysis techniques for malware detection.

How to apply:
==========
The position is available from March 2012. Candidates must have a PhD in 
computer science. The candidate must send a CV and recommendation letters 
to Tayssir TOUILI (touili@liafa.jussieu.fr)