Post-doctorante ou Post-doctorant en vérification de systèmes multi-agents - CDD 18 mois

Qui sommes-nous ?

Télécom Paris, école de l’IMT (Institut Mines-Télécom) et membre fondateur de l’Institut Polytechnique de Paris, est une grande école du top 5 des écoles d’ingénieurs généralistes françaises.

La Raison d’Être de Télécom Paris est de former, imaginer et entreprendre pour concevoir des modèles, des technologies et des solutions numériques au service d’une société et d’une économie respectueuses de l’humain et de son environnement.

Nous recherchons notre futur(e) post-doctorant(e) pour rejoindre l'équipe ACES rattachée au laboratoire LTCI au sein du Département d'Informatique et Réseaux.

La théorie des jeux joue un rôle crucial en IA en fournissant un cadre mathématique pour raisonner sur les systèmes réactifs, définis par les interactions entre plusieurs entités, ou joueurs. Elle a trouvé des applications importantes dans divers domaines, notamment l'économie, la biologie et l'informatique, en particulier dans la vérification formelle des systèmes. La technique de model checking, introduite à la fin des années 1970, utilise la théorie des jeux pour vérifier le comportement des systèmes par rapport à des spécifications formelles. Bien que les premières applications se soient concentrées sur les systèmes fermés, entièrement déterminés par leurs états internes, la plupart des systèmes en pratique sont ouverts, impliquant des interactions continues. Cela a conduit à l'extension du model checking aux systèmes multi-agents (MAS), en utilisant des logiques telles que la logique temporelle alternée (ATL) et la logique stratégique (SL) pour tenir compte du raisonnement stratégique.
Un autre défi majeur dans la vérification est la synthèse, le processus de création d'un système qui respecte ses spécifications dans divers environnements, en particulier ceux impliquant des agents rationnels. La synthèse rationnelle, introduite dans les années 1990, y répond en s'assurant que le comportement d'un système correspond aux objectifs spécifiés dans différentes interactions entre agents. Cependant, les problèmes de décision dans la vérification des MAS peuvent varier d'un problème polynomial à un problème indécidable, la complexité étant fortement influencée par le type de stratégie utilisé (sans mémoire ou avec mémoire). Les stratégies sans mémoire sont efficaces sur le plan computationnel mais moins expressives, tandis que les stratégies avec mémoire sont plus puissantes mais plus complexes. Pour résoudre ces problèmes, des approches limitées telles que les stratégies naturelles, qui considèrent des stratégies plus simples en ligne avec la rationalité limitée, ont été introduites. Ce projet vise à étudier les problèmes de décision liés aux stratégies naturelles, analyser leur complexité computationnelle et développer un outil permettant de résoudre ces problèmes.

Vos principales missions seront de :

• Assurer des missions de recherche dans le domaine de la vérification des systèmes multi-agents
• Assurer des missions d’encadrement et de tutorat
• Participer à la notoriété de l’Ecole, de l’Institut Mines-Télécom et de l’Institut Polytechnique de Paris
• Publier des articles scientifiques dans le domaine de la vérification des systèmes multi-agents

Pour réussir dans ce rôle, vous détenez un doctorat ou équivalent. Vous avez acquis des connaissances théoriques et pratiques approfondies dans le domaine de l’informatique, et notamment en méthodes formelles et de la vérification des systèmes multi-agents. Vous êtes reconnu(e) pour votre esprit d'équipe, votre excellent relationnel et vos qualités pédagogiques.

La maîtrise de l'anglais est nécessaire pour ce poste.

Pourquoi nous rejoindre ?

Vous travaillerez dans un environnement en plein développement, agréable, verdoyant et accessible (notamment pour les personnes en situation de handicap) à seulement 20 km de Paris (RER B et C, proximité des grands axes routiers, navette mutualisée en partance de la Porte d'Orléans). Vous bénéficierez de :

• 49 jours de congés annuels (CA + RTT)
• Flexibilité des horaires de travail (en fonction de l'activité et de l'organisation du service)
• Télétravail 1 à 3 jours/semaine possible
• Remboursement abonnement transports en commun à 75%
• Proximité de nombreuses infrastructures sportives, conciergerie, parking souterrain, restauration interne...
• Association du personnel au niveau de l'école et du ministère
• A savoir : nos cotisations sociales sont moins élevées que dans le secteur privé

Informations diverses :

Date limite de candidature : 31/03/2025

Type d'emploi : CDD de 18 mois

Description de poste : https://partage.imt.fr/index.php/s/fRMdXJy2CCK9yep

Contact scientifique : Vadim Malvone (vadim.malvone@telecom-paris.fr)

Contact administrative : Najoua Kharmaze (najoua.kharmaze@telecom-paris.fr)

Nos recrutements sont fondés sur les compétences, sans distinction d’origine, d’âge, ou de genre et tous nos postes sont ouverts aux personnes en situation de handicap.