Dans l’unité de recherche Systèmes Embarqués, Autonomes et Sûrs (SEAS), vous réaliserez des études et recherches dans le domaine de la spécification, de la conception, du développement et de l’analyse de systèmes autonomes. Votre activité pourra s’articuler autour des thèmes suivants :

Méthodes et algorithmes pour la prise de décision autonome dans des systèmes robotiques et notamment des systèmes multi-robots ;
Architectures délibératives pour des systèmes autonomes multi-engins, en prenant notamment en compte les problématiques de distribution de la décision et des communications ;
Environnements de développement logiciel pour la robotique autonome ;
Outils et langages de spécification de missions autonomes, partage d’autorité homme/machine et initiative mixte dans la prise de décision ;
Méthodes et techniques de spécification et vérification formelle afin d’analyser et de garantir le comportement de systèmes autonomes.

Les développements réalisés s’intégreront dans des projets de robotique autonome, pour des applications terrestres, aériennes, maritimes et spatiales. La plupart de ces travaux mèneront à des développements logiciels et feront l’objet d’expérimentations sur le terrain avec les robots terrestres et les drones aériens du laboratoire ou avec les drones de nos partenaires français et européens.

Vous serez amené à collaborer avec nos partenaires académiques (ISAE, LAAS/CNRS, …), industriels (Thales, Naval Group, …) et institutionnels (DGA, CNES, …) ainsi qu’avec les autres unités et départements de l’ONERA.