[TYPES/announce] A PhD scholarship in Computer Science in Paris: Model Checking for Malware (Virus) Detection

[Tayssir TOUILI]

Please distribute (apologies for multiple postings):

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

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

Contact: Tayssir TOUILI  (touili at 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://urldefense.com/v3/__https://www.irif.fr/*touili/sujet-PhD.pdf__;fg!!IBzWLUs!XHbfq6DHfyASU-EOiv4R3MFoQ34PKP1RJvFZdZXoFvNuouiPMftG0hbkTBxF7Mxl0sljEcsRAGaIcGCnQ5aHJoyIHeEwrg$ 



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 at irif.fr)