Post-doctorante ou Post-doctorant en Vérification de Systèmes Multi-agents

**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. Les thèmes de recherche de l’équipe Systèmes embarqués critiques autonomes (ACES) tournent autour des systèmes concurrents en général (systèmes parallèles, systèmes distribués,), pour lesquels des propriétés non fonctionnelles telles que la performance ou la sécurité doivent être garanties.

La théorie des jeux en IA est un cadre mathématique puissant pour raisonner sur les systèmes réactifs. Ces derniers sont caractérisés par une interaction continue entre deux entités ou plus, appelées joueurs, et le comportement de l'ensemble du système dépend profondément de cette interaction. La théorie des jeux a été largement explorée dans plusieurs domaines, tels que : l'économie, la biologie, et l'informatique.

L'objectif de ce projet est divisé en deux étapes principales:

- Étudier les problèmes décisionnels liés aux stratégies naturelles et analyser leur complexité computationnelle.
- Développer un outil capable de fournir une réponse aux problèmes décisionnels sur les stratégies naturelles.

**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**:
Type d'emploi **:CDD de 18 mois**
- 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._