[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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



Please distribute (apologies for multiple postings):

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

Postdoc position in  LIAFA
==================

Contact: Tayssir TOUILI   (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)