[agents] Postdoc position at LIAFA, Paris, France: Model-checking for malware detection

[Tayssir Touili]

Please distribute (apologies for multiple postings):

===============================

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

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