Bonjour.
L’Institut Polytechnique de Paris recherche un(e) doctorant(e) dans le cadre d’une initiative commune entre Télécom Paris, l’École polytechnique et l’ENSTA Paris. La thèse, hébergée au sein de l’équipe SSH (Sémantiques des systèmes Hybrides) de l’unité d’informatique et d’ingénierie des Systèmes de l’ENSTA Paris, portera sur la conception d’algorithmes de planification de trajectoires pour robots avec spécifications en logique temporelle.
Une description détaillée se trouve sous
https://perso.ensta-paris.fr/~chapoutot/ssh-website/docs/scvx-stl.pdf
Informations administratives
Sélection du candidat ou de la candidate : fin juillet 2022
Début de la thèse : octobre 2022
Profil recherché : M2 ou équivalent en automatique ou informatique; connaissances en algorithmique, développement logiciel et automatique suivant le profil ; autonomie ; capacité à travailler en équipe et à l’international
Pièces à fournir : lettre montrant la motivation pour la thèse et la thématique ; CV détaillé ; relevés de notes M1 et M2 ou équivalent ; lettre(s) de recommandation si possible
Contact : Alexandre Chapoutot, alexandre.chapoutot@ensta-paris.fr
Cordialement
Alexandre
Type
Rattachement
ENSTA Paris
Description