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