Fondements Logiques Des Systemes Distribues
il y a 1 semaine
- Réf
- **ABG-114800**
**ADUM-50234**
- Sujet de Thèse- 27/05/2023- Université Grenoble Alpes- Lieu de travail- Saint-Martin-d'Hères - France- Intitulé du sujet- Fondements logiques des systemes distribues auto-adaptatifs // Logical Foundations of Self-Adapting Distributed Systems- Mots clés- systemes distribues, logiques de graphes, raisonnement automatise, verification formelle
- distributed systems, graph logics, automated reasoning, formal verification**Description du sujet**:
- La reconfiguration est essentielle dans les systemes distribues modernes, tels les cloud ou les IoT. Par exemple, des processus peuvent etre crees ou effaces, ainsi que le reseau de communication peut changer au cours de l'execution. Les systemes auto-adaptatifs initient et effectuent les reconfigurations necessaires (par exemple, a l'optimisation du traffic sur un reseau interne) de maniere completement autonome.- En plus des travaux theoriques sur des logiques, une partie du travail de these sera alloue a l'implementation des outils de verification efficaces en pratique, bases sur le raisonnement automatise et le model checking.
Reconfiguration is an inherent aspect of modern distributed systems, such as clouds or IoT. Processes can be created or removed due to internal faults, redistribution of resources, workload or traffic changes. Moreover, the shape of the communication network may change. Self-adapting systems initiate and carry out reconfiguration sequences automatically, in order to avoid expensive or even mission-critical downtimes, required by manual reconfiguration.-
Début de la thèse : 01/10/2023**Nature du financement**:
**Précisions sur le financement**:
- Concours alllocations**Présentation établissement et labo d'accueil**:
- Université Grenoble Alpes**Etablissement délivrant le doctorat**:
- Université Grenoble Alpes**Ecole doctorale**:
- 217 MSTII - Mathématiques, Sciences et technologies de l'information, Informatique- Master (ou equivalent) en Informatique avec un bon niveau en informatique theorique: - theorie des automates, machines de Turing - logique propositionelle et de premier ordre - calculabilite et complexite Competences en programmation: - C, Java, C++ - developement et maintenance des projets (github)
- Master (or equivalent degree) in Computer Science with good theoretical level: - automata theory, Turing machines, - propositional and first-order logic - complexity theory Fluency in programming: - C, Java, C++ - development and maintenance of projects (github)-
- 11/06/2023
-
Ingénierie Systèmes Distribués
il y a 1 semaine
Lyon, Auvergne-Rhône-Alpes, France Kéoni Consulting Temps plein**Ingénierie Systèmes distribués - Obsolescence BDD-N3****Contexte et détails de la mission****Objectif global**: Piloter Obsolescence BDD**MISSIONS**:Dans le cadre d'une "taskforce" traitement de l'obsolescence des bases de données MongoDB/Oracle/MySql/Sql Serveur, planifier & réaliser des migrations de BDD.Mission d'engagement fort pour atteindre les...
-
Administrateur Systèmes et Réseaux
il y a 1 semaine
Lyon, Auvergne-Rhône-Alpes, France Urban Linker Temps pleinNous recrutons pour notre client, startup lyonnaise baignant dans le monde de l'industrie et de l'IA, un administrateur systèmes et réseaux pour soutenir son hypercroissance. Faites de la veille technologique—Endossez le rôle de référent technique afin d'apporter une expertise technique aux équipes opérationnellesCompétences & Expériences— Vous...
-
Administrateur Systèmes et Réseaux
Il y a 2 mois
Lyon, Auvergne-Rhône-Alpes, France FED SAS Temps pleinMon client est une société spécialisée dans la prestation de services aux établissements de santé. Rattaché(e) au Manager de l'équipe Production, au sein de l'unité Hébergeurs de Données Santé (HDS), vous intégrez une équipe de 5 administrateurs Systèmes & Réseaux et aurez pour mission d'assurer la surveillance des ressources informatiques et...
-
Administrateur systèmes et réseaux administrateur
il y a 1 semaine
Lyon, Auvergne-Rhône-Alpes, France Urban Linker Temps pleinNous recrutons pour notre client, startup lyonnaise baignant dans le monde de l'industrie et de l'IA, un administrateur systèmes et réseaux pour soutenir son hypercroissance. Endossez le rôle de référent technique afin d'apporter une expertise technique aux équipes opérationnelles Vous avez une formation initiale de niveau BTS/Licence/Master avec...
-
Enseignants Prestataires en Systèmes
il y a 1 semaine
Lyon, Auvergne-Rhône-Alpes, France ISTP Temps plein**D**ans le cadre du développement de ses parcours intégrés de niveaux Licence et Ingénieur en Systèmes Electroniques Embarqués, **la Direction des Etudes** recherche des enseignant(e)s prestataires dans les domaines scientifiques et techniques suivants**:- **Systèmes logiques**:- **Systèmes à microcontrôleurs**:- **Composants programmables FPGA/...
-
Administrateur Systèmes Et Réseaux
il y a 1 semaine
Lyon, Auvergne-Rhône-Alpes, France FED France Temps plein**Mon client est une société spécialisée dans la prestation de services aux établissements de santé. Rattaché(e) au Manager de l'équipe Production, vous intégrez une équipe de 5 administrateurs Systèmes & Réseaux et aurez pour mission d'assurer la surveillance des ressources informatiques et de télécommunication et la gestion courante de...
-
ADMINISTRATEUR SYSTÈME ET RÉSEAUX
il y a 1 semaine
Lyon, Auvergne-Rhône-Alpes, France Groupe Atlantic Temps pleinLassez des entreprises de services numériques et consorts ?Vous souhaitez donner plus de sens à votre travail, rendre plus concret le fruit de votre quotidien ? Mettre à profit vos compétences informatiques pour accompagner la digitalisation de nos usines et apporter des services toujours plus performants ? Alors, intégrez le secteur industriel avec le...
-
Administrateur Système Réseau/Administratrice Système Réseau
il y a 1 semaine
Lyon, Auvergne-Rhône-Alpes, France Urban Linker Temps pleinNous recrutons pour notre client, startup lyonnaise baignant dans le monde de l'industrie et de l'IA, un administrateur systèmes et réseaux pour soutenir son hypercroissance. MissionsRattaché.E à l'IT Manager, vous :—Etes en charge du maintien en condition opérationnelle de l'infrastructure IT du produit, et des infrastructures centrales (on prem et...
-
Administrateur Système Et Réseau
il y a 1 semaine
Lyon, Auvergne-Rhône-Alpes, France INSTITUTION DES CHARTREUX Temps plein**MISSIONS COMMUNES A L'ENSEMBLE DU PERSONNEL DU GROUPE CHARTREUX**- Respecter les règles de fonctionnement de l'établissement- Contribuer à promouvoir le projet éducatif des chartreux- Favoriser l'épanouissement de la personne humaine dans ses dimensions physique, intellectuelle, spirituelle.- Accueillir avec bienveillance le caractère propre,...
-
Administrateur(Trice) Systèmes Réseaux
il y a 1 semaine
Lyon, Auvergne-Rhône-Alpes, France TALENTS IT Temps pleinTalents IT est un cabinet de recrutement national spécialisé dansles métiers de l'IT et du Digital. Nous nous distinguons en plaçantau coeur de nos actions. Nous travaillons exclusivement avec desCLIENTS FINAUX : PME / GRAND GROUPES / STARTUP.Nos consultants expérimentés vous offrent un accompagnementpersonnalisé et des conseils avisés pour vous...
-
Administrateur(Trice) Infrastructures Système
il y a 1 semaine
Lyon, Auvergne-Rhône-Alpes, France Forum Emploi-Formation-Alternance: Talents Handicap Temps pleinL'entreprise _**_Sopra Steria_**_ recherche activement des profils pour le poste suivant:**Description de l'entreprise**Sopra Steria, acteur majeur de la Tech en Europe avec collaborateurs dans près de 30 pays, est reconnu pour ses activités de conseil, de services numériques et d'édition de logiciels. Il aide ses clients à mener leur transformation...
-
Administrateur Des Systèmes Industriels
il y a 1 semaine
Lyon, Auvergne-Rhône-Alpes, France ISOVER SAINT-GOBAIN Temps plein**Missions et responsabilités**Rattaché(e) au Chef du Service Travaux Neufs, le titulaire conduit et réalise des projets de création ou de modifications d'équipements de production ou d'infrastructures de l'établissement en Informatique, Automatismes et 4.0 selon la politique groupe en vigueur. Il suit notamment l'ensemble des étapes propres à chaque...
-
Administrateur Systèmes Et Réseaux It
il y a 1 semaine
Lyon, Auvergne-Rhône-Alpes, France Groupe Atlantic Temps pleinLassez des entreprises de services numériques et consorts ?Vous souhaitez donner plus de sens à votre travail, rendre plus concret le fruit de votre quotidien ? Mettre à profit vos compétences informatiques pour accompagner la digitalisation de nos usines et apporter des services toujours plus performants ? Alors, intégrez le secteur industriel avec le...
-
Adjoint Au Chef de Bureau Systèmes D'information
il y a 1 semaine
Lyon, Auvergne-Rhône-Alpes, France MINISTERE DES ARMEES Temps pleinL'état-major de zone de défense de Lyon assiste l'officier général commandant la zone de défense et de sécurité Sud-Est dans l'ensemble de ses attributions. La zone SE correspond à la région Auvergne-Rhône-Alpes. - Assurer la suppléance du chef du BSIC/J6. - Piloter ou contribuer aux études SIC. - Piloter ou contribuer au déploiement des moyens...
-
Technicien Systèmes H/F
il y a 4 semaines
Lyon, 69000, Auvergne-Rhône-Alpes, France PAGE PERSONNEL IDF Temps pleinFiliale de PageGroup, leader du recrutement et de l’intérim spécialisés dans de nombreux pays, Page Personnel identifie et recrute, pour ses clients, des cadres 1er niveau, des techniciens et des employés qualifiés pour des missions d'intérim, des CDD et des CDI au sein de 20 secteurs d'activité. Créé en 1976 à Londres, le Groupe compte...
-
Administrateur Système Et Stockage
il y a 1 semaine
Lyon, Auvergne-Rhône-Alpes, France Cromology Temps pleinde l'entreprise- Vivez un job haut en couleurs _Description du postePour nous accompagner dans l'évolution de nos infrastructures, nous recherchons un/une **Administrateur système / stockage **qui interviendra au sein du service OPS de la DSI du groupe CROMOLOGY, sous la responsabilité directe du Manager OPS.Votre rôle : satisfaire aux besoins...
-
Directeur des Systèmes d'Information
il y a 1 semaine
Lyon, Auvergne-Rhône-Alpes, France Accile Temps pleinRégion lyonnaise CDI IT / Systèmes d'Information Pourvu Nous recherchons pour notre client, acteur en forte croissance dans le secteur des assurances de personnes (près de adhérents assurés en France), un(e) Directeur (trice) des Systèmes d'Information . Fondée en 1976, cette structure très active compte près de 450 salariés. Rattaché à la...
-
Administrateur Système Et Réseaux
il y a 1 semaine
Lyon, Auvergne-Rhône-Alpes, France Groupagora Temps pleinNous sommes actuellement à la recherche, pour le compte d'un de nos clients, d'un.e administrateur systèmes et réseaux (H/F). Votre rôle consistera à jouer un rôle clé dans l'installation, la gestion et la sécurisation des infrastructures systèmes et réseaux.**Responsabilités Principales**En tant qu'Administrateur Systèmes et Réseaux, vous serez...
-
Technicien Systèmes H/F
il y a 3 semaines
Lyon, 69000, Auvergne-Rhône-Alpes, France PAGE PERSONNEL IDF Temps pleinFiliale de PageGroup, leader du recrutement et de l’intérim spécialisés dans de nombreux pays, Page Personnel identifie et recrute, pour ses clients, des cadres 1er niveau, des techniciens et des employés qualifiés pour des missions d'intérim, des CDD et des CDI au sein de 20 secteurs d'activité. Créé en 1976 à Londres, le Groupe compte...
-
Administrateur Système
il y a 1 semaine
Lyon, Auvergne-Rhône-Alpes, France O2MAX Temps pleinContrat CDILocalisation LyonRéf /ASM/567-1**Hey, bien joué, tu viens de sélectionner l'offre qui changera ta carrière professionnelle **Nous sommes O2MAX, entreprise de service numérique 100% lyonnaise Créée en 2013. Régis et Fabien, ingénieurs en Informatique, Fondateurs et consultants de la société, disposant de plus de 20 ans d'expérience ont...