researchJobsDoctoral Researcher (m/f) in AI - Dynamic Logic for Conformant Planning and Multi-Agent Epistemic
Doctorant (H/F) en IA - Logique dynamique pour la planification conformante et multi-agent épistémique" — Machine-translated title
From the ad
Description of the post
Subject of Thesis
Build plans to achieve their goals - and more generally decide and learn how to act - are fundamental problems for intelligent agents. The traditional focus of AI planning is the generation of plans for an individual agent on the assumption that no other agent is involved and that the planning agent has a perfect knowledge of the environment and the pre- and post-conditions of the actions. More expressive forms of planning must take into account other aspects such as reasoning about the beliefs, goals, intentions and actions of other agents ('theory of the mind'); learning from past experiences; monitoring the outcome of actions and learning and managing possibly unanticipated results.
Applicants must propose a short research project related to these themes (max. 1 page).
The successful candidate will work on the conceptual and formal basis of planning formalism. It will participate in the research activities of Department IA in particular by presenting its results at national and international conferences as well as at departmental seminars.
We are looking for a candidate who has worked in representation of knowledge and/or learning who is interested in their integration into the planning context.
Your Working Environment
The Institut de Recherche en Informatique de Toulouse (IRIT) is one of the largest computer laboratories in France. His AI department has a long tradition of research in representation of knowledge and reasoning. The recruited person will work on the website of the University of Toulouse.
Remuneration and benefits
Remuneration
The remuneration is a minimum of 2300,00 € monthly
Annual leave and TWU
44 days
Practice and compensation of TT
TT practice and compensation
Transport
Support at 75% cost and sustainable mobility package up to 300€
About the offer
Supply Reference UMR5505-CHLBOU-112 Section(s) CN / Research Area Computer science: basics of computing, calculations, algorithms, representations, operationsAbout CNRS
The CNRS is a major player in fundamental research on a global scale. The CNRS is the only French organization active in all scientific fields. His unique position as a multi-specialist allows him to associate the different disciplines in order to face the most important challenges of the contemporary world, in connection with the actors of change.
The CNRS
Research occupations
Machine translation (OPUS-MT) — the original text is authoritative
Show the original advertisement
Description du Poste
Sujet De Thèse
Construire des plans afin de réaliser leurs buts - et plus généralement décider et apprendre comment agir - sont des problèmes fondamentaux pour des agents intelligents. Le focus traditionnel de la planification en IA est la génération de plans pour un agent individuel sous l'hypothèse qu'aucun autre agent n'intervienne et que l'agent planificateur possède une connaissance parfaite sur l'environnement et les pré- et post-conditions des actions. Des formes plus expressives de planification doivent tenir compte d'autres aspects tel que le raisonnement sur les croyances, buts, intentions et actions d'autres agents ('théorie de l'esprit') ; l'apprentissage à partir d'expériences passées ; la surveillance du résultat d'actions et l'apprentissage et la gestion de résultats possiblement non attendus.
Les candidats doivent proposer un bref projet de recherche relié à ces thèmes (max. 1 page).
La personne retenue travaillera sur les bases conceptuelles et formelles du formalisme de planification. Elle participera aux activités de recherche du département IA en particulier en présentant ses résultats dans des conférences nationales et internationales ainsi qu'à des séminaires du Département.
Nous cherchons un candidat ayant travaillé en représentation des connaissances et/ou apprentissage qui est intéressé par leur intégration dans le contexte de la planification.
Votre Environnement de Travail
L'Institut de Recherche en Informatique de Toulouse (IRIT) est un des plus grands laboratoires d'informatique en France. Son département AI a une longue tradition de recherche en représentation des connaissances et raisonnement. La personne recrutée travaillera sur le site de l'Université de Toulouse.
Rémunération et avantages
Rémunération
La rémunération est d'un minimum de 2300,00 € mensuel
Congés et RTT annuels
44 jours
Pratique et Indemnisation du TT
Pratique et indemnisation du TT
Transport
Prise en charge à 75% du coût et forfait mobilité durable jusqu’à 300€
À propos de l’offre
Référence de l’offre UMR5505-CHLBOU-112 Section(s) CN / Domaine de recherche Sciences informatiques : fondements de l'informatique, calculs, algorithmes, représentations, exploitationsÀ propos du CNRS
Le CNRS est un acteur majeur de la recherche fondamentale à une échelle mondiale. Le CNRS est le seul organisme français actif dans tous les domaines scientifiques. Sa position unique de multi-spécialiste lui permet d’associer les différentes disciplines pour affronter les défis les plus importants du monde contemporain, en lien avec les acteurs du changement.
Le CNRS
Les métiers de la recherche
Advertisement text from CNRS, no licence stated; reproduced with attribution.
The employer's ad is the binding version. Apply through their system.
?
Saved calls and ads appear on your calendar, and their deadlines are included when you export it. Nothing else is added for you.