Postdoctoral position in verification, Paris (France)

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.

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.

For more information, see the LIAFA website at http://www.liafa.jussieu.fr/index_en.php or contact Tayssir TOUILI (http://www.liafa.jussieu.fr/~touili/, email touili at liafa.jussieu.fr).