Logic List Mailing Archive

Postdoctoral position in verification, 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 October 2013.
Candidates must have  a PhD in computer science (defense before October 2013).
The candidate must send a CV  and recommendation letters to Tayssir TOUILI 
(touili@liafa.jussieu.fr)