Thèse: Cadre formel pour les flux distribués dans le Cloud

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...

Un institut de recherche en ingénierie propose une thèse axée sur les effets des hétérogénéités structurales sur les écoulements d'air. Le candidat développera des méthodes qui combinent essais expérimentaux et simulations pour améliorer la compréhension des écoulements à travers des parois en béton armé. Le recrutement vise un candidat...

Les architectures distribuées modernes, destinées à être déployées au sein des infrastructures IT d'établissements publics, reposent de plus en plus sur l'Intelligence Artificielle (IA) et le Machine Learning (ML) pour automatiser certaines prises de décision (allocation de ressources, orchestration de services, supervision intelligente, etc.).Dans...

Informations 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...

Informations 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...

« 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...

« 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...

« 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...

« 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...

Domaine Sciences pour l'ingénieur Sujets de thèse Conception et développement d'algorithmes asynchrones pour la résolution de l'équation du transport des neutrons sur des architectures massivement parallèles et hétérogènes Contrat Thèse Description de l'offre Cette proposition de thèse s'inscrit dans le cadre de la résolution numérique...