Un/e Post-doctorant/e en Informatique Section Cnu 27

**CONTEXTE**

L’École navale est une grande école d’ingénieur (statut d’EPSCP-GE) dont la mission principale est la formation initiale des officiers de la marine nationale. Les élèves officiers de carrière suivent un cursus d’ingénieur ou de master. Des formations supérieures (masters, mastères spécialisés, formation continue) sont également délivrées à des étudiants civils ou militaires dans les domaines de l’ingénierie maritime.

L’Institut de Recherche de l’École navale (IRENav - EA 3634) est le support de la recherche et de la formation scientifique. Il développe ses recherches en lien amont avec les besoins de la marine nationale et avec une orientation forte vers des thématiques d’innovation. Institut pluridisciplinaire, il est labellisé par l’HCERES dans le cadre de la contractualisation des laboratoires Arts et Métiers. Ses équipes de recherche s’inscrivent dans deux domaines liés au secteur maritime : la modélisation et le traitement de l’information maritime (équipe MOTIM), la mécanique et l'énergie en environnement naval (équipe M2EN).

Pour répondre à sa mission de recherche, l’École navale recrute un post-doctorant en informatique.

**DESCRIPTION DU POSTE**

Titulaire d’un doctorat en informatique, la personne sera recrutée au sein du groupe de recherche MoTIM (Modélisation et le Traitement de l’Information Maritime) et participera à la réalisation du projet TECTONIC (An environmenTal knowlEdge-based approaCh for real-time navigaTiOn of uNmanned aerIal vehiCles beyond GNSS). TECTONIC est un projet de recherche mené en collaboration avec le laboratoire CIAD (Connaissance et Intelligence Artificielle Distribuées - EA 7533) de l’Université de Technologie de Belfort-Montbéliard.
- Poste à temps plein à l’Ecole navale

**RECHERCHE**

L'objectif du projet TECTONIC est de développer une preuve de concept pour la détection de la perturbation du signal GNSS d'un drone et ensuite, de déterminer comment gérer la mission : continuer la navigation sans GNSS, changer de trajectoire, abandonner la mission, etc. La mission du drone consiste à se déplacer en environnement terrestre ou littoral en vue de terre afin de rallier une destination. Notre but premier est de développer un simulateur de scènes vidéo permettant de valider la preuve de concept et de vérifier si la trajectoire planifiée d'un drone correspond à sa trajectoire réelle. Dans ce projet, nous concentrons nos recherches sur i) le positionnement opérationnel du drone à partir d'images vidéo et ii) les représentations sémantiques de l'environnement et de la mission à partir de logiques classiques et non monotones. Le projet prévoit le recrutement de 2 post-doctorants sur 12 mois, chacun étant affecté à un laboratoire de recherche (laboratoire CIAD et IRENav), mais collaborant étroitement sur le développement d’un même simulateur de scènes vidéo. Du côté du laboratoire CIAD, le post-doctorant travaillera sur le positionnement opérationnel du drone à partir d'images vidéo (i). Du côté de l’IRENav, le post-doctorant travaillera sur les représentations sémantiques de l'environnement et de la mission à partir de logiques classiques et non monotones (ii).

L’étape de modélisation de la connaissance de l'environnement/mission consiste à catégoriser les objets du monde réel en concepts abstraits (ii). Nous décrirons la sémantique de la mission et de l’environnement dans lequel elle se déroule dans le formalisme des logiques de description. Ce langage permettra de modéliser la transition entre la navigation GPS et non-GPS. Les incertitudes provenant de l'environnement et/ou d'autres agents externes doivent également être prises en compte afin d'estimer ou de modifier les objectifs de la mission (continuer, annuler, modifier). Ainsi, un raisonnement non monotone, via la logique des défauts, permettra d’inférer des conclusions sur des informations partielles, incomplètes et/ou contradictoires, à partir de règles dynamiques (spécifiques). Cette phase de modélisation sera intégrée au sein d’une plateforme de simulation intégrant les réalisations des phases i et ii.

**PROFIL RECHERCHE**

**Diplôme : Docteur en informatique.**

Bonnes capacités de rédaction scientifique.

Bonne capacité de modélisation sur des problèmes complexes.

Maîtrise de la logique du premier ordre.

Maîtrise des technologies du web sémantique, les ontologies, etc(souhaité).

Maîtrise de la programmation dans plusieurs langage (Java, Python, C++, etc ).

Maîtrise du français et de l’anglais (lu, écrit, parlé).

Bonne capacité/disposition au travail collaboratif.

Bonnes capacités relationnelles et humaines, dynamisme et charisme.

**Mots clés**:
Informatique, ingénierie des connaissances, logiques, drone, intelligence artificielle

**SALAIRE**

Environ 2 150 €/mois (net)

**Envoyer CV détaillé, lettre de motivation, lettre