Fondements Logiques Des Systemes Distribues

il y a 1 semaine


Lyon, Auvergne-Rhône-Alpes, France Université Grenoble Alpes Temps plein
**Fondements logiques des systemes distribues auto-adaptatifs // Logical Foundations of Self-Adapting Distributed Systems**:

- 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

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


  • Lyon, Auvergne-Rhône-Alpes, France Urban Linker Temps plein

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


  • Lyon, Auvergne-Rhône-Alpes, France FED SAS 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, 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...


  • Lyon, Auvergne-Rhône-Alpes, France Urban Linker Temps plein

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


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


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


  • Lyon, Auvergne-Rhône-Alpes, France Groupe Atlantic Temps plein

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


  • Lyon, Auvergne-Rhône-Alpes, France Urban Linker Temps plein

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


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


  • Lyon, Auvergne-Rhône-Alpes, France TALENTS IT Temps plein

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


  • Lyon, Auvergne-Rhône-Alpes, France Forum Emploi-Formation-Alternance: Talents Handicap Temps plein

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


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


  • Lyon, Auvergne-Rhône-Alpes, France Groupe Atlantic Temps plein

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


  • Lyon, Auvergne-Rhône-Alpes, France MINISTERE DES ARMEES Temps plein

    L'é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 plein

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


  • Lyon, Auvergne-Rhône-Alpes, France Cromology Temps plein

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


  • Lyon, Auvergne-Rhône-Alpes, France Accile Temps plein

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


  • Lyon, Auvergne-Rhône-Alpes, France Groupagora Temps plein

    Nous 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 plein

    Filiale 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 plein

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