Please distribute (apologies for multiple postings): |
Postdoc position in LIAFA
Contact: Tayssir TOUILI (touili@xxxxxxxxxxxxxxxx)
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@xxxxxxxxxxxxxxxx)