Please distribute (apologies for multiple postings):
Postdoc position in LIAFA
Contact: Tayssir TOUILI (firstname.lastname@example.org)
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 (email@example.com)