Model-checking Pour La Détection de Virus

il y a 3 semaines


Paris e, France CNRS Temps plein

Cette offre est disponible dans les langues suivantes:

- Français
- Anglais

Date Limite Candidature : mercredi 29 mai 2024

**Informations générales**:
**Intitulé de l'offre **:Model-checking pour la détection de virus informatiques (H/F)**
Référence : UMR8243-TAYTOU-001
Nombre de Postes : 2
Lieu de travail : PARIS 13
Date de publication : mercredi 8 mai 2024
Type de contrat : CDD Doctorant/Contrat doctoral
Durée du contrat : 36 mois
Date de début de la thèse : 3 juin 2024
Quotité de travail : Temps complet
Rémunération : La rémunération est d'un minimum de 2135,00 € mensuel
Section(s) CN : Sciences de l'information : fondements de l'informatique, calculs, algorithmes, représentations, exploitations

**Description du 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 de travail**:
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.



  • Paris, France CNRS Temps plein

    Informations générales Intitulé de l'offre : Model-checking pour la détection de virus informatiques (H/F) Référence : UMR8243-TAYTOU-001 Nombre de Postes : 2 Lieu de travail : PARIS 13 Date de publication : mercredi 8 mai 2024 Type de contrat : CDD Doctorant/Contrat doctoral Durée du contrat : 36 mois Date de début de la thèse : 3 juin 2024...

  • Stagiaire Ia

    il y a 9 heures


    Paris 13e, France Artedrone Temps plein

    Lors d'une procédure neuro-interventionnelle, le clinicien obtient un retour visuel sur la position de ses outils à l'intérieur du réseau vasculaire du patient grâce à des séquences de fluoroscopie 2D en temps réel. Pour contrôler et ajuster le mouvement du µ-robot, nous devons détecter et suivre en temps réel sa position à l'intérieur des...


  • Paris, Île-de-France Direction Générale de l'Offre de Soins (DGOS) Temps plein

    Bureau Modèles de Financement - DGOSPartagez cette page sur les réseaux sociaux comme Facebook, Twitter et LinkedIn.Fonction publique : Fonction publique de l'ÉtatEmployeur : Direction Générale de l'Offre de Soins (DGOS), Sous-direction Financement et performance, Bureau Modèles de financementLocalisation : 14 avenue Duquesne, PARISNature de l'emploi:...


  • Paris, France Inria Temps plein

    **Type de contrat **:CDD **Niveau de diplôme exigé **:Bac + 5 ou équivalent **Fonction **:Doctorant **Contexte et atouts du poste**: Inria Défense&Sécurité (Inria D&S) a été créé en 2020 pour fédérer les actions d’Inria répondant aux besoins numériques des forces armées et forces de l’intérieur. La thèse sera réalisée au sein de...

  • Actuaire Modelisation

    il y a 4 jours


    Paris, Île-de-France AG2R La Mondiale Temps plein

    Référence : **Caractéristique du poste**:**Type de contrat**: C.D.I**Pays / région / département**: France, Ile-de-France, PARIS (75)**Ville**: PARIS POSTULERRejoindre AG2R LA MONDIALE, c'est rejoindre un Groupe de plus de collaborateurs experts en épargne, retraite, prévoyance, santé et engagement social en France, au service de 15 millions...


  • Paris, Île-de-France Inria Temps plein

    **Type de contrat **:CDD**Niveau de diplôme exigé **:Bac + 5 ou équivalent**Fonction **:Doctorant**Contexte et atouts du poste**:Inria Défense&Sécurité (Inria D&S) a été créé en 2020 pour fédérer les actions d'Inria répondant aux besoins numériques des forces armées et forces de l'intérieur. La thèse sera réalisée au sein de l'équipe de...

  • Detection Engineer 2

    il y a 2 semaines


    Paris, France Datadog Temps plein

    The Product Detection Engineering team at Datadog develops impactful security detection content for Datadog's portfolio of cloud security products. As part of the Security Research organization, you will join a diverse team of hackers and builders who launch impactful security products and research via cross-company collaboration, partnerships with the...


  • Paris, France SINTEL Temps plein

    SINTEL recrute pour l'un de ses clients, belle Maison française de Prêt-à-Porter féminin et masculin, unMÉCANICIEN JERSEY H/F Vous devrez fournir un travail minutieux et soigneux sur les missions suivantes :- Prise en charge du montage des prototypes jersey- Suivi des consignes des gammes de montage- Coupe des modèles- Détection des difficultés et...


  • Paris, Île-de-France Institut Pasteur Temps plein

    Référence Date de début de diffusion 29/05/2024 Date de parution 29/05/2024 Description du posteMétierAutres domaines Ingénierie de la recherche - Technicien supérieur de recherche Intitulé du posteTechnicien recherche Virologie H/F Missions/ActivitésL'Institut Pasteur conduit des recherches biomédicales de pointe et avant-gardistes depuis...


  • Paris, Île-de-France Aldoria Temps plein

    Aldoria (anciennement Share My Space) est une startup du New Space en passe de devenir un leader mondial sur le marché de la connaissance de la situation spatiale. Nos activités actuelles vont des observations au télescope aux prévisions des risques de collision en orbite, en passant par la veille économique et la surveillance spatiale pour les...


  • Paris, Île-de-France Aldoria Temps plein

    Aldoria (anciennement Share My Space) est une startup du New Space en passe de devenir un leader mondial sur le marché de la connaissance de la situation spatiale. Nos activités actuelles vont des observations au télescope aux prévisions des risques de collision en orbite, en passant par la veille économique et la surveillance spatiale pour les...


  • Paris, France Aldoria Temps plein

    Aldoria is a New Space start-up on its way to becoming a world leader in the space situational awareness market. Our current activities range from telescope observations to in-orbit collision risk prediction, business intelligence and space surveillance for commercial and government satellite operators. Benefits: - Tickets restaurants - Remboursement des...

  • Actuaire Modelisation

    il y a 3 semaines


    Paris, France AG2R La Mondiale Temps plein

    Référence : 2023-29635 **Caractéristique du poste**: **Type de contrat**: C.D.I **Pays / région / département**: France, Ile-de-France, PARIS (75) **Ville**: PARIS POSTULER Rejoindre AG2R LA MONDIALE, c’est rejoindre un Groupe de plus de 10 000 collaborateurs experts en épargne, retraite, prévoyance, santé et engagement social en France, au...

  • Actuaire Modelisation

    il y a 3 semaines


    Paris, France AG2R La Mondiale Temps plein

    Référence : 2023-29636 **Caractéristique du poste**: **Type de contrat**: C.D.I **Pays / région / département**: France, Ile-de-France, PARIS (75) **Ville**: PARIS POSTULER Rejoindre AG2R LA MONDIALE, c’est rejoindre un Groupe de plus de 10 000 collaborateurs experts en épargne, retraite, prévoyance, santé et engagement social en France, au...


  • Paris, France Aldoria Temps plein

    Aldoria (anciennement Share My Space) est une startup du New Space en passe de devenir un leader mondial sur le marché de la connaissance de la situation spatiale. Nos activités actuelles vont des observations au télescope aux prévisions des risques de collision en orbite, en passant par la veille économique et la surveillance spatiale pour les...

  • Actuaire Modelisation

    il y a 3 semaines


    Paris, France AG2R La Mondiale Temps plein

    Référence : 2023-29530 **Caractéristique du poste**: **Type de contrat**: C.D.I **Pays / région / département**: France, Ile-de-France, PARIS (75) **Ville**: PARIS POSTULER Rejoindre AG2R LA MONDIALE, c’est rejoindre un Groupe de plus de 10 000 collaborateurs experts en épargne, retraite, prévoyance, santé et engagement social en France, au...


  • Paris, France Banque de France Temps plein

    **Présentation de la direction générale et du service** Au sein de la Direction Générale des Statistiques, des Études et de l’International, la Direction de la Conjoncture et des Prévisions Macroéconomiques (DCPM), composée de trois services et environ 35 agents, est en charge de: - élaborer les prévisions pour la France (macroéconomie...


  • Paris 9e, France Banque de France Temps plein

    Au sein d'équipes pluridisciplinaires dirigées par un inspecteur, chef de mission, vous mènerez des travaux de contrôle au sein des établissements de crédit et serez notamment chargé(e): - d’analyser et porter un regard critique sur: - les dispositifs adoptés par les banques françaises pour se conformer aux exigences réglementaires en matière...


  • Paris, France Ile de France Mobilités Temps plein

    **Missions du poste**: **Raison d’être du poste**: Afin d’alimenter les réflexions par des éléments quantitatifs, Île-de-France Mobilités a développé un modèle permettant de prévoir les déplacements sur le réseau de transports collectifs d’Île-de-France heure par heure pendant toute la période des Jeux Olympiques et Paralympiques. Cette...


  • Paris, France La Banque Postale Temps plein

    **Introduction** Directement rattachée au Directoire, l’Inspection Générale (IG) assure le contrôle périodique des activités du Groupe La Banque Postale. Par ses missions d’audit réalisées en toute indépendance sur l’ensemble des domaines de la banque, elle veille à la pertinence des dispositifs de maîtrise des risques, à la conformité aux...