Thèse sur le ’Model-checking pour la détection de virus informatiques’ (H/F)

Centre National de la Recherche Scientifique

Cette offre est disponible dans les langues suivantes :
- Français - - Anglais

Date Limite Candidature : jeudi 20 avril 2023

Informations générales

Intitulé de l’offre : Thèse sur le "Model-checking pour la détection de virus informatiques" (H/F)
Référence : UMR7030-TAYTOU-003
Nombre de Postes : 2
Lieu de travail : VILLETANEUSE
Date de publication : jeudi 30 mars 2023
Type de contrat : CDD Doctorant/Contrat doctoral
Durée du contrat : 36 mois
Date de début de la thèse : 1 mai 2023
Quotité de travail : Temps complet
Rémunération : 2 135,00 € brut mensuel
Section(s) CN : Sciences de l’information : fondements de l’informatique, calculs, algorithmes, représentations, exploitations

Description du sujet de thèse

La thèse porte sur l’application du model-checking pour la détection de virus informatiques. Le candidat doit proposer de nouveaux algorithmes et techniques pour la détection de malware. Le but ultime est de réaliser un outil de détection de virus qui est plus performant que les anti-virus commerciaux existants.

Plus de détails ici: https://lipn.univ-paris13.fr/~­touili/suj­et-PhD.pdf

Contexte de travail

Le Laboratoire d’Informatique de Paris-Nord (LIPN) est une unité mixte de recherche (UMR 7030) entre le CNRS et l’Université Paris XIII, dite Université Sorbonne Paris Nord (USPN), réunissant 150 chercheurs. Ses principales thématiques de recherche sont l’apprentissage automatique, l’optimisation combinatoire et le calcul haute performance, la conception et l’analyse de modèles combinatoires à l’interface de la physique et de l’algorithmique, les fondements du calcul et la vérification formelle, le traitement automatique du langage naturel et la représentation des connaissances.

Informations complémentaires

ce poste se situe dans un secteur relevant de la protection du potentiel scientifique et technique (PPST) et nécessite donc, conformément à la réglementation, que votre arrivée soit autorisée par l’autorité compétente du MESR