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.
Descriptif du poste
Société : ENAC Catégorie : Intérim Activité : Services Filiere : Assurance Metier : Professeur / Cours à domicile / Soutien scolaire Lieu : Haute-Garonne (Occitanie) Durée : CDD
Mission
Créée il y a 70 ans, l’ENAC, École Nationale de l’Aviation Civile, est la plus importante des Grandes Écoles ou universités aéronautiques en Europe. Elle assure la formation initiale et le perfectionnement des cadres et des principaux acteurs de l’aviation civile : ingénierie, navigation aérienne, pilotage, gestion aéroportuaire, recherche, expertises, développement à l’international.
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.
L’objectif de cette thèse est de contribuer à la vérification formelle des propriétés graphiques sur les langages réactifs en développant une approche déductive reposant sur le calcul des plus faibles préconditions.
Cet objectif est original car d’une part l’approche vise à adapter aux langages réactifs une approche de vérification formelle qui est classique dans le domaine des langages impératifs, mais peu développée pour les langages réactifs ; et d’autre part elle cherche à vérifier formellement des propriétés relatives à l’interface homme-machine, particulièrement les propriétés dites « graphiques » (impliquant l’affichage et la perception des caractéristiques des objets graphiques telles que le positionnement, la forme, la visibilité, la couleur etc.).
Profil recherché
- Connaissances de base en vérification formelles (par exemple : model checking, preuve, interprétation abstraite…)
- Connaissance de base en conception et réalisation d'interface Homme-Machine (scène graphique, propriétés graphiques, programmation réactive)
- Capacité en développement de logiciel CLIQUER ICI POUR POSTULER
