Nos offres

Doctorante / Doctorant en informatique

  • Toulouse, 31400

  • CDD

  • 01/10/2024

Description

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 de la 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.

Mission

En tant que Doctorante / Doctorant au sein de l'équipe informatique interactive, vous aurez à mener des recherches en détection et réparation des anomalies en virgule flottante dans les systèmes de contrôle critiques, par analyse statique

Le sujet complet de la thèse proposée : https://www.calameo.com/read/0045461235c1852741162

Profil

Titulaire d'un Bac+5 (niveau Master ou Ingénieur), vous avez les compétences suivantes nécessaires au poste :

  • Méthodes formelles

  • Programmation

  • Arithmétique des ordinateurs

  • /...