Topic description
Assurer la correction des systèmes critiques est essentiel, notamment dans les domaines où les défaillances ont un coût élevé. La vérification formelle traditionnelle est efficace pour les systèmes clos, mais elle présente des limites dans les environnements ouverts et multi-agents où les agents interagissent de manière stratégique. Alors que les logiques temporelles permettent de raisonner sur les stratégies des agents, elles ne capturent pas les interventions subtiles, comme le nudging, où un agent peut influencer le comportement d'un autre sans restreindre ses choix. Le nudging préserve l'autonomie en modifiant l'environnement décisionnel de manière à orienter le comportement de façon prévisible mais sans coercition.Funding category
Funding further details
Allocation doctorale AMX*Appel anticipé*Concours IPP ou école membre*Définir des stratégies de nudging dans la spécification des propriétés pour les systèmes multi-agents // Define nudging strategies in the specification of properties for multi-agent systems • Palaiseau, Ile-de-France, FR
Cette entreprise développe une nouvelle génération de solutions d’automatisation pour les opérations clients, en s’appuyant sur une plateforme d’agents IA capables d’exécuter des actions de bout en... Voir plus
MBDA cherche un responsable d'études en architecture fonctionnelle et systèmes pour son département Conception des Systèmes Terrestres.Expérience requise en ingénierie système et connaissance d... Voir plus
Nous recherchons notre prochain Ingénieur Système Linux (F/H) pour rejoindre une équipe Infrastructure en charge d’un socle Linux critique, opérant dans un environnement de production à grande éche... Voir plus
Gestionnaire adjoint de projet d'ingénierie système pour un produit optronique aéroporté.Structuration des activités, pilotage des lots, coordination technique et suivi des livrables, coûts et ... Voir plus
Fabskill Partners est une entreprise spécialisée dans la fourniture de solutions de gestion de performances d'applications, avec une expertise reconnue dans le domaine du monitoring et de l'optimis... Voir plus
XRAYS TRADING est depuis 21 ans la structure la plus atypique du monde de la bourse !Nous faisons en sorte que ton quotidien soit bourré d'adrénaline et de moments inoubliables, le tout en t’ai... Voir plus
Rejoignez WeScale et contribuez à un accompagnement de haut niveau pour structurer, orienter et accélérer les transformations technologiques de nos clients.Le contexteLe métier de Software Engineer... Voir plus
Gestionnaire de configuration recherché pour le cycle de vie de produits complexes dans l'aéronautique, nécessitant une formation BAC+5 et une expérience. Voir plus
En tant qu'Ingénieur Système ADAS, vous piloterez les projets de véhicules et gérerez les anomalies techniques, avec 5 ans d'expérience. Voir plus
Acteur international engagé dans une stratégie de transformation technologique et organisationnelle, notre groupe évolue dans un environnement complexe, multi-sites, marqué par des enjeux stratégiq... Voir plus
Ingénieur Systèmes Junior recherché pour l'installation, la maintenance et l'administration des serveurs et environnements cloud.Participation aux projets d'évolution, garantie de la sé... Voir plus
Responsable de projets R&D pour le développement de modules de mesure optiques, avec expertise en électronique analogique et validation des spécifications. Voir plus
MISSIONS PRINCIPALES L’Engineering Manager Front est garant de la stratégie technologique front des assets Fortuneo (parcours de souscription prospects, application mobile, espace client web, site ... Voir plus
Ingénieur méthodes exploitation h/f (IS@TALENT).Vous êtes issu(e) d’une formation technique (ingénieur généraliste, génie industriel ou électrique) et souhaitez un rôle qui allie.Être l’interlocute... Voir plus
L'ingénieur systèmes senior est responsable de la conception et de la coordination des sous-systèmes ferroviaires, en garantissant la conformité aux exigences des clients. Voir plus
L'ingénieur systèmes coordonne les équipes techniques pour assurer la continuité du service et gère les incidents N3, tout en participant aux projets de Build.Le salaire proposé est entre 58 00... Voir plus
Dans le cadre du renforcement de ses équipes, une société de services nantaise spécialisée dans les infrastructures et la gestion des systèmes d’information rech... Voir plus
Ingénieur de ProductionEnvironnement Open VMSRégion Parisienne1.Entretien et évolution de l’infrastructure du périmètre du pôle techniqueMaintenir en conditions opérationnelles les plateformes de p... Voir plus
Lagardère Travel Retail est l’un des leaders mondiaux du Travel Retail, au service des passagers dans les aéroports, les gares et autres concessions dans 51 pays.L'une des deux divisions du gro... Voir plus
ContexteFondé en 1983, APL est le 1er cabinet de conseil et d’ingénierie spécialisé dans la conception et la réalisation de data centers en France.Nos expertises s'articulent autour de 4 pôles ... Voir plus
