Cadre formel pour la spécification et la vérification de flots de communication de processus di[...]
il y a 6 heures
Description du sujet de thèse Défis technologiques Sujets de thèse Cadre formel pour la spécification et la vérification de flots de communication de processus distribués dans le Cloud Contrat Thèse Description de l'offre Les clouds sont constitués de serveurs interconnectés via internet, sur lesquels on peut implémenter des systèmes faisant usages d'applications et de bases de données déployées sur les serveurs. L'informatique basée sur les clouds gagne considérablement en popularité, y compris pour y déployer des systèmes critiques. De ce fait, disposer d'un cadre formel pour raisonner sur ce type de systèmes devient une nécessité. Une exigence sur un tel cadre est qu'ils permettent de raisonner sur les concepts manipulés dans un cloud, ce qui inclue naturellement la capacité à raisonner sur des systèmes distribués, composés de sous-systèmes déployés sur différentes machines et interagissant par passage de messages pour réaliser des services. Dans ce contexte, la facilité à raisonner sur les flots de communications est un élément central. L'objectif de cette thèse est de définir un cadre formel outillé dédié à la spécification et la vérification de systèmes déployés sur des clouds. Ce cadre capitalisera sur le cadre formel des 'interactions'. Les interactions sont des modèles dédiés à la spécification des flots de communications entre différents acteurs d'un système. Les travaux de thèse étudieront comment définir des opérateurs de structuration (enrichissement, composition) et de raffinement pour permettre de mettre en œuvre des processus de génie logiciel classique en se basant sur les interactions. Université / école doctorale Sciences et Technologies de l'Information et de la Communication (STIC)Ecole Centrale Paris Site Saclay Formation recommandée Méthodes formelles Disponibilité du poste 01/09/2024 Personne à contacter par le candidat GASTON Christophe < email supprimé pour raison de sécurité >CEADRT/DILS//LECSCEA/Saclay01 69 08 34 82 Tuteur / Responsable de thèse LEGALL Pascale < email supprimé pour raison de sécurité >CentraleSupélecLaboratoire de Mathématiques et Informatique pour la Complexité et les Systèmes (MICS)CentraleSupélec - Université de Paris-Saclay9 rue Joliot-Curie, F-91192 Gif-sur-Yvette Cedex En savoir plus #J-18808-Ljbffr
-
Thèse: Cadre formel pour les flux distribués dans le Cloud
il y a 2 jours
Saclay, France CEA Temps pleinUne société de recherche scientifique à Saclay propose une thèse sur la spécification et la vérification de systèmes déployés sur des clouds. Le candidat idéal se concentrera sur les flots de communication et développera un cadre formel pour les processus distribués. Les candidats doivent avoir des compétences en méthodes formelles. La...
-
Ingénieur-Chercheur en méthodes formelles pour le quantique
il y a 1 semaine
Saclay, Île-de-France CEA Temps pleinInformations générales Entité de rattachement Le CEA est un acteur majeur de la recherche, au service des citoyens, de l'économie et de l'Etat.Il apporte des solutions concrètes à leurs besoins dans quatre domaines principaux : transition énergétique, transition numérique, technologies pour la médecine du futur, défense et sécurité sur un...
-
Ingénieur-Chercheur en méthodes formelles pour le quantique
il y a 2 semaines
Saclay, Île-de-France CEA Temps pleinInformations générales Entité de rattachement Le CEA est un acteur majeur de la recherche, au service des citoyens, de l'économie et de l'Etat.Il apporte des solutions concrètes à leurs besoins dans quatre domaines principaux : transition énergétique, transition numérique, technologies pour la médecine du futur, défense et sécurité sur un...
-
Ingénieur-Chercheur en méthodes formelles pour le quantique
il y a 1 semaine
Saclay, France Cea Temps plein« Rejoignez le CEA pour donner du sens à votre activité, mener et soutenir des projets de R&D nationaux et internationaux, cultiver et faire vivre votre esprit de curiosité. » EN SYNTHESE, QU’EST-CE QUE NOUS VOUS PROPOSONS? Le Commissariat à l'Énergie Atomique et aux Énergies Alternatives (CEA) recherche un(e) Ingénieur-Chercheur en méthodes...
-
Ingénieur-Chercheur en Méthodes Formelles pour le Quantique
il y a 1 semaine
Saclay, France Cea Temps plein« Rejoignez le CEA pour donner du sens à votre activité, mener et soutenir des projets de R&D nationaux et internationaux, cultiver et faire vivre votre esprit de curiosité. » EN SYNTHESE, QU'EST-CE QUE NOUS VOUS PROPOSONS ? Le Commissariat à l'Énergie Atomique et aux Énergies Alternatives (CEA) recherche un(e) Ingénieur-Chercheur en méthodes...
-
Ingénieur-Chercheur en méthodes formelles pour le quantique
il y a 1 semaine
Saclay, Île-de-France CEA Temps plein« Rejoignez le CEA pour donner du sens à votre activité, mener et soutenir des projets de R&D nationaux et internationaux, cultiver et faire vivre votre esprit de curiosité. »EN SYNTHESE, QU'EST-CE QUE NOUS VOUS PROPOSONS ?LeCommissariat à l'ÉnergieAtomique et auxÉnergiesAlternatives (CEA) recherche un(e) Ingénieur-Chercheur enméthodes formelles...
-
Saclay, France Cea Temps plein« Rejoignez le CEA pour donner du sens à votre activité, mener et soutenir des projets de R&D nationaux et internationaux, cultiver et faire vivre votre esprit de curiosité. » EN SYNTHESE, QU’EST-CE QUE NOUS VOUS PROPOSONS? Le Commissariat à l'Énergie Atomique et aux Énergies Alternatives (CEA) recherche un(e) Ingénieur-Chercheur en méthodes...
-
Business Analyst Senior – Expert AMM
il y a 5 heures
Saclay, France INFOGENE Temps pleinBusiness Analyst Senior – Expert AMM & Veeva RIM – Regulatory Affairs | Industrie Pharmaceutique Business Analyst / Expert Fonctionnel AMM – Veeva (Réglementaire) Localisation : Télétravail + Site de Saclay Date de démarrage : 1er octobre 2025 Dans le cadre du programme stratégique Holistic RIM, la DSI souhaite renforcer ses équipes avec un...
-
Chef(fe) de projets communication et évenementiels F/H
il y a 2 semaines
Saclay, Île-de-France Anne Caron le café de spécialité Temps pleinGestion des évènementsElaborer et piloter la mise en place du Plan d'Animations Commerciales B to B avec la cheffe de projets marketingSuperviser et encadrer le/la chargé(e) d'évènementsCoordonner les animations commerciales et les visites clientsPiloter et coordonner les évènementsRecenser les besoins et lead du briefingSélectionner les...
-
Saclay, France CEA Temps pleinDescription du sujet de thèse Défis technologiques Domaine Défis technologiques Sujets de thèse Mécanismes de communications unidirectionnelles pour la décomposition de données des applications de transport de particules Monte‑Carlo Contrat Thèse Description de l'offre Dans le cadre d'un calcul Monte‑Carlo d'évolution d'un cœur de REP...
