![CNRS](https://media.trabajo.org/img/noimg.jpg)
Model-checking Pour La Détection de Virus
il y a 3 semaines
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.
-
Model-checking pour la détection de virus informatiques
Il y a 2 mois
Paris, France CNRS Temps pleinInformations 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 pleinLors 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...
-
du bureau Modèles de financement
il y a 5 jours
Paris, Île-de-France Direction Générale de l'Offre de Soins (DGOS) Temps pleinBureau 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:...
-
Doctorant (F/H) Détection Et Clustering de La
il y a 3 semaines
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 pleinRé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...
-
Doctorant (F/H) Détection Et Clustering de La
il y a 4 jours
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 pleinThe 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...
-
Mécanicien Modèle Jersey PAP Luxe H/F
il y a 3 semaines
Paris, France SINTEL Temps pleinSINTEL 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...
-
Technicien recherche Virologie H/F
il y a 4 jours
Paris, Île-de-France Institut Pasteur Temps pleinRé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 pleinAldoria (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 pleinAldoria (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...
-
Space Flight Dynamics Intern
il y a 7 jours
Paris, France Aldoria Temps pleinAldoria 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 pleinRé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 pleinRé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 pleinAldoria (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 pleinRé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...
-
Économiste en Modélisation Et Prévisions
il y a 3 jours
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...
-
Spécialistes Modélisation Des Risques
Il y a 2 mois
Paris 9e, France Banque de France Temps pleinAu 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...
-
Modélisation Des Déplacements Empruntant Les
Il y a 2 mois
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...
-
Stagiaire - Inspecteur Marchés Modèles
il y a 2 semaines
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...