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

Tayssir Touili touili at liafa.jussieu.fr
Mon Feb 20 15:18:52 CET 2012

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, 
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 at liafa.jussieu.fr)

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

More information about the ecoop-info mailing list