Postdoc position at LIAFA, Paris, France: Model-checking for malware detection
Tayssir Touili <[email protected]>
| Newsgroups | gmane.comp.lang.lambda-prolog |
|---|---|
| Message-ID | <4F42564C.902__21359.1369953521$1329755640$gmane$org@liafa.jussieu.fr> |
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/> ([email protected]) 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 protected]) _______________________________________________ Lprolog mailing list [email protected] https://wwws.cs.umn.edu/mm-cs/listinfo/lprolog