Doctorante/doctorant en informatique

L’ENAC, École Nationale de l’Aviation Civile, est la plus importante des Grandes Écoles ou universités aéronautiques en Europe. Elle forme à un spectre large de métiers : des ingénieurs ou des professionnels de haut niveau capables de concevoir et faire évoluer les systèmes aéronautiques et plus largement ceux du transport aérien ainsi que des pilotes de ligne, des contrôleurs aériens ou encore des techniciens aéronautiques.Ses laboratoires de recherche sont à la pointe de l’innovation et travaillent activement en coopération avec des universités internationales de haut niveau pour un transport aérien toujours plus sûr, efficace et durable.L’ENAC est un établissement public à caractère scientifique, culturel et professionnel – grand établissement (EPSCP-GE), sous tutelle dela DGAC (Direction Générale de l’Aviation Civile), Direction du Ministère de la Transition Écologique et Solidaire. L’ENAC comprend une direction générale localisée à Toulouse et 8 sites en France.Pour soutenir sa dynamique en faveur de la promotion de la diversité, l’ENAC facilite l’accueil et l’intégration des travailleurs en situation de handicap.Vous aurez en charge :Revue de littérature sur le problème de l'anti-collision ou de la résolution de conflits de trajectoires entre machines volantes (avions, UAS, eVTOLS, etc), et sur les approches possibles : méthodes géometriques, méthodes d'optimisation, méthodes par champs de potentiel, apprentissage artificiel, approche distribuée ou centralisée, etc.Conception et implémentation d'une méthode géométrique ou hybride apportant à la fois des garanties sur la coordination des manoeuvres de séparation entre engins volants et l'existence d'une trajectoire libre d'obstacles et de conflits vers la destination finale, pour chaque aéronef.Validation de la méthode et comparaison avec d'autres approches, sur un jeu de problèmes-tests dans un environnement simulé, puis en environnement réel (volière de drones).Production des rapports et articles scientifiques en anglais.Communication des résultats au sein de la communauté scientifique, et du programme européen SESAR Knowledge Transfer Network -- Engage 2 qui co-finance la thèse.Vous justifiez de :Compétences en algorithmique, optimisation, et intelligence artificielle.Bonnes compétences en programmation informatique (Ocaml, Python).Expérience en recherche (stage de recherche, etc). #J-18808-Ljbffr