Logic List Mailing Archive

CfA: PhD scholarship in Computer Science on Model Checking for Malware (Virus) Detection, Paris (France), deadline: asap

Please distribute (apologies for multiple postings):

=============================================================================================
A PhD scholarship in Computer Science in Paris: Model Checking for Malware (Virus) Detection

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

Contact: Tayssir TOUILI  (touili@irif.fr)

A PhD  position is available in  the   "Institut de Recherche en 
Informatique Fondamentale"  (IRIF), Paris,  France.

The  recruited  PhD student  is expected to investigate and develop novel techniques, algorithms and tools for malware detection. The ultimate goal is to build a malware detector that beats the existing commercial malware detection tools.

More details can be found here:
https://www.irif.fr/~touili/sujet-PhD.pdf



How to apply:
============
The position is available immediately. Candidates must have a master in computer science.
The candidate must send a CV, university grades, recommendation letters, and a motivation letter to Tayssir TOUILI (touili@irif.fr)

--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php