Fondements Logiques Des Systemes Distribues

il y a 3 semaines


Lyon, 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


  • Convoyeur de Fonds

    il y a 1 mois


    Lyon, France [Pépite.] Temps plein

    Vous êtes chargé(e) d’assurer, lors de tournées journalières auprès de nos clients: - De procéder à l’enlèvement ou à la livraison des colis, - D’assurer la responsabilité et le pointage des colis transportés, - De prendre en charge les clefs, les cartes d’accès, le système de traçabilité pour les entreprises équipées et les...

  • Convoyeur de fonds

    il y a 1 mois


    Lyon, France Pepite Temps plein

    Créé en 2021 et rassemblant une équipe d'anciens cadres des armées reconvertis avec succès, [Pépite.] est un cabinet de recrutement spécialisé sur les profils d'anciens militaires. Nous travaillons au profit d'entreprises évoluant dans des secteurs variés (ex. grande distribution, services, logistique, facility management, etc.) et souhaitant...


  • Lyon, France Département de Saône-et-Loire Temps plein

    Direction DIRECTION APPUI RESSOURCES TRANSVERSALES AUX SOLIDARITES Service SAS FONDS SOCIAL EUROPEEN Type d'emploi Emploi permanent (fonctionnaire ou contractuel) Filière Filière administrative Cadre d'emploi Rédacteurs Territoriaux Catégorie B Groupe RIFSEEP B3 NBI Non Ségur Non Date de prise de poste Dès que possible Résidence...


  • Lyon 2e, France Fondation Innovation et Transitions Temps plein

    Sous la responsabilité hiérarchique de la directrice générale de la Fondation Innovation et Transitions et sous la responsabilité fonctionnelle du délégué général de la fondation France répit, il/elle aura pour mission de: **Définir et mettre en œuvre la stratégie de collecte de fonds de la Fondation**. La collecte de fonds développée par la...


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


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


  • Lyon, France TALENTS IT Temps plein

    Talents IT est un cabinet de recrutement national spécialisé dans les métiers de l'IT et du Digital. Nous nous distinguons en plaçant au coeur de nos actions. Nous travaillons exclusivement avec des CLIENTS FINAUX : PME / GRAND GROUPES / STARTUP. Nos consultants expérimentés vous offrent un accompagnement personnalisé et des conseils avisés pour...


  • Lyon 7e, France Pôle Emploi Temps plein

    Mission Générale Rattaché(e) à la responsable qualité site, votre mission consiste à mettre en oeuvre la politique qualité du Laboratoire Aguettant en étant l'acteur essentiel dans la mise en place, le suivi et l'amélioration du système qualité relatif d'une part à l'ensemble de nos fournisseurs et d'autre part répondant aux exigences de nos...

  • Charge de Mission Fse

    il y a 1 mois


    Lyon, France La Région Auvergne-Rhône-Alpes Temps plein

    **Informations générales**: **Entité de rattachement **:La Région Auvergne-Rhône-Alpes c'est prés de 2000 agents qui exercent dans les services administratifs et assurent leurs missions dans de nombreux domaines (Développement économique, Mobilités, Santé, Formation, Agriculture, Fonds européens, Aménagement du territoire, Culture, Sport...). Ils...


  • Lyon 3e, France FED IT 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...


  • Lyon 6e, France Talents IT Temps plein

    **Description de l'entreprise**: L'équipe Talents IT s'engage à être réactive et présente pour répondre à vos demandes. Nos consultants ont pour vocation de vous accompagner dans la recherche de vos futurs experts IT, en CDI et en CDD, quel que soit votre secteur d'activité. **Description du poste**: Talents IT est un cabinet de recrutement national...


  • Lyon, 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. Missions Rattaché.e à l’IT Manager, vous : —Etes en charge du maintien en condition opérationnelle de l’infrastructure IT du produit, et des infrastructures...


  • Lyon, France Groupe iliad Temps plein

    Le poste Rattaché(e) au Responsable du pôle Cloud et sous la direction du Directeur Technique, vous assurez la conception, l’ingénierie et l’exploitation des offres basées sur les solutions Linux et leurs composants opensource. Vos missions : Vous assurez la conception technique des produits et services ainsi que leurs évolutions, Vous...


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


  • Lyon, Rhône, 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...


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


  • Lyon, France CNRS Temps plein

    Informations générales Intitulé de l'offre : Ingénieur Systèmes et réseaux (H/F) Référence : UAR3602-CHAFLE-001 Nombre de Postes : 1 Lieu de travail : LYON 07 Date de publication : vendredi 3 mai 2024 Type de contrat : CDI Technique/Administratif Date d'embauche prévue : 1 septembre 2024 Quotité de travail : Temps complet Rémunération : A...


  • Lyon, France La Région Auvergne-Rhône-Alpes Temps plein

    **Missions et activités**: - La Direction des Systèmes d’Information et des Usages Digitaux (DSIUD) est composée de 65 agents et organisée autour de 5 services.- Elle pilote l’ensemble des problématiques SI de la collectivité et des lycées de la Région.- Elle est notamment responsable du maintien en condition opérationnelle, de la maintenance...

  • Administrateur Systèmes

    il y a 1 mois


    Lyon 3e, France Recrulab Temps plein

    **PRÉSENTATION DE L’ENTREPRISE** Notre client est un éditeur de logiciels spécialisé dans le domaine de la santé. Afin d’accompagner sa croissance, il cherche à recruter un Administrateur Système & Réseau en CDI. Le poste est basé dans Lyon 3. **DESCRIPTION DU POSTE** Rattaché(e) au Manager de l’équipe Production, vous avez pour mission...