Model-checking pour la détection de virus informatiques (H/F)

Model-checking pour la détection de virus informatiques (H/F)Partager la pageVeuillez pour partager sur Facebook, Twitter et LinkedIn. Fonction publique : Fonction publique de l'État Employeur : Centre national de la recherche scientifique (CNRS)Veuillez pour partager sur Facebook, Twitter et LinkedIn. Nature de l’emploi Emploi ouvert uniquement aux contractuels Nature du contrat CDD de 3 ans Expérience souhaitée Non renseigné Rémunération (fourchette indicative pour les contractuels) La rémunération est d'un minimum de 2135,00 € mensuel€ brut/an Afficher la rémunération pour les fonctionnaires Sujet de thèse :La détection de virus informatiques est de nos jours un problème d'actualité. Les antivirus commerciaux sont basés sur 2 techniques principales: (1) la signature matching et (2) l'émulation de code dans un environnement virtuel. Ces 2 techniques ne sont pas assez robustes. Pour avoir une technique robuste de détection de virus, il nous faut une approche qui permet d'analyser le comportement du programme sans l'exécuter. C'est ce que permet de faire le model-checking.Le but de cette thèse est donc de proposer de nouvelles techniques de model-checking qui permettraient de détecter les malwares, et d'implanter ces techniques dans un outil de détection de malware.L'ultime but serait de développer un détecteur de malwares qui concurrencerait largement les antivirus commerciaux dont ont dispose.Contexte :L'IRIF est une unité mixte de recherche (UMR 8243) entre le CNRS et l'Université Paris Cité.Les recherches menées à l'IRIF reposent sur l’étude et la compréhension des fondements de toute l’informatique, afin d’apporter des solutions innovantes aux défis actuels et futurs des sciences numériques.Profil recherchéContraintes et risques :Niveau d'études minimum requisNiveau Niveau 7 Master/diplômes équivalents C’est l’une des plus importantes institutions publiques au monde : 33 000 femmes et hommes (dont plus de 16000 chercheurs et plus de 16000 ingénieurs et techniciens), en partenariat avec les universités et les grandes écoles, y font progresser les connaissances en explorant le vivant, la matière, l’Univers et le fonctionnement des sociétés humaines.Depuis plus de 80 ans, le CNRS développe des recherches pluri et interdisciplinaires sur tout le territoire national, en Europe et a` l’international. Le lien étroit entre ses missions de recherche et le transfert vers la société fait du CNRS un acteur clé de l’innovation en France et dans le monde.Le partenariat qui lie le CNRS avec les entreprises est le socle de sa politique de valorisation et les start-ups issues de ses laboratoires témoignent du potentiel économique de ses travaux de recherche.Le Centre national de la recherche scientifique est l’une des plus importantes institutions publiques au monde : 34 000 femmes et hommes (plus de 1 000 laboratoires et 200 métiers), en partenariat avec les universités et les grandes écoles, y font progresser les connaissances en explorant le vivant, la matière, l’Univers et le fonctionnement des sociétés humaines. Depuis plus de 80 ans, y sont développées des recherches pluri et interdisciplinaires sur tout le territoire national, en Europe et a` l’international. Le lien étroit que le CNRS tisse entre ses missions de recherche et le transfert vers la société fait de lui un acteur clé de l’innovation en France et dans le monde. Le partenariat qui le lie avec les entreprises est le socle de sa politique de valorisation et les start-ups issues de ses laboratoires (près de 100 chaque année) témoignent du potentiel économique de ses travaux de recherche. Chercheuse / Chercheur D'autres offres pourraient vous intéresser Fonction publique : Fonction publique de l'État Fonction publique : Fonction publique de l'État Fonction publique : Fonction publique de l'État #J-18808-Ljbffr