Offres d'emplois / stages

Professeur de physique et de chimie en CPGE à l’Institut Sino Européen d’Ingénierie de l’Aviation de Tianjin (en Chine) – poste ENAC
Type de contrat :
2 années scolaires
Date de début :
21/08/19
Ville :
TIANJIN (CHINE)

Date limite d’envoi des candidatures (CV + lettres de motivation) au service demandeur : 29/03/2019

Coordonnées de la personne chargée de la réception des candidatures :
Nom :
GONON    Prénom : Mathy
Fonction : Directeur des Etudes et de la Recherche
Adresse mail : mathy.gonon@enac.fr
N° de téléphone : 05 62 17 40 06

 

Quelles tâches / missions à effectuer :

Professeur de physique et de chimie en CPGE (classes préparatoires aux  grandes écoles) en classe de maths sup et de maths spé en Chine. Il s’agit d’enseigner en langue française le contenu du programme de physique et de chimie PCSI et PSI, de coordonner les « colles » de physique, de former des professeurs chinois qui à terme prendront la relève, de participer à des groupes de travail sur le contenu des programmes pédagogiques et les procédures de l’Institut.

Compétences nécessaires au poste :

  • Connaissance du programme de physique et de chimie des classes préparatoires PCSI
  • Grande expérience de l’enseignement en classes préparatoires aux grandes écoles dans un pays étranger,
  • Sens de l’organisation,
  • Grande adaptabilité,
  • Goût pour les cultures étrangères.

Qualification ou formation (Niveau, Diplôme, Certificats, etc.) : Agrégation de physique

Expérience exigée : 10 ans minimum
Déplacements prévus : éventuellement à Pékin

Conditions d'exercice : être capable d’enseigner en anglais et connaître la langue chinoise pour échanger avec les autres professeurs et les étudiants chinois.
Durée du CDD : 2 années scolaires

Non renouvelable
Salaire : en fonction du profil du candidat
Date de recrutement prévue : 21/08/2019

 

 

Contact :
Assistant Master IATOM
Type de contrat :
CDD de 36 mois
Date de début :
05/03/19
Ville :
Enac Toulouse - 7 avenue Edouard Belin, BP 54005, Toulouse Cedex 4

Date limite d’envoi des candidatures (CV + lettres de motivation) au service demandeur : 31/03/2019

Coordonnées de la personne chargée de la réception des candidatures :                  
Nom : Carivenc         Prénom : Béatrice 

Fonction : Secrétaire                                                                                                      
Adresse mail : beatrice.carivenc@enac.fr
N° de téléphone : 0562174402

Quelles tâches / missions à effectuer :

L’assistant  master IATOM sera chargé :
-    d’accompagner la réingénierie pédagogique du master IATOM,
-    de définir des outils et des process qui faciliteront le travail des inspecteurs d’études dans le suivi des promotions IATOM en coordination avec de nombreux services de l’ENAC (la DID - direction de l’international et du développement ; le service AVIC - admission et vie des campus ; le BdP - bureau des programmes ; le PPP - pôle des programmes pédagogiques), et en coordination avec les Universités partenaires,
-    d’apporter du support aux inspecteurs des études dans cette phase de développement pour qu’ils puissent se focaliser sur la réingénierie.

Il/Elle exercera son activité au sein de la Direction des Etudes et de la Recherche (DER) de l’École Nationale de l’Aviation Civile (ENAC), dans le département Transport Aérien (TA).

Pour la phase de développement
•    Réalisation des plannings (Gantt)
•    Assistance des inspecteurs d’études pour la coordination et le suivi du planning
•    Mise à jour de documents et de plaquettes

Pour l’accueil des promotions :
•    Préparation de la réunion d’accueil de l’inspecteur d’études (par exemple, listes d’e-mailing)
•    Mise à jour du booklet d’accueil (en assurant chaque année un retour d’expérience sur les attendus des étudiants en particulier ceux de nos partenaires)
•    Coordination avec AVIC pour tous les aspects non pédagogiques (réservation des chambres ; renouvellement des visas ; …)

Pour le suivi des étudiants et des programmes de formation :
•    Coordination avec le BdP : suivi du bon déroulement des programmes dans un contexte de réingénierie
•    Coordination avec la Direction à l’International et au Développement (DlD concernant les échanges avec les Universités partenaires : mise en place d’échanges réguliers et systématiques (envoi des bulletins de note ; réponses aux interrogations ; communication sur les évolutions prévues des programmes ; …)
•    Tenue à jour de l’espace e-campus de la promotion
•    Coordination avec PPP pour les attestations, les diplômes, …
•    Coordination avec le responsable des stages pour les étudiants ayant des difficultés à trouver un stage (élaboration de mini-cv en anglais ; …)
•    Elaboration et tenue à jour d’outils de gestion des stages (relance pour les rapports 1ère semaine, 1er mois, Mémoire, résumé et mots clés ; entrée des informations sous AURION ; organisation logistique des points mi stage)
•    Organisation des soutenances (élaboration et tenue à jour du tableau de gestion des soutenances, réservation des salles de soutenances et des repas, organisation du transport des tuteurs, assistance technique pour visioconférence, coordination et traitement des Mémoires)

Pour le suivi financier :
•    Coordination avec la DID et l’Agence comptable : établissement d’un contrat individuel de formation, suivi des paiements des frais de scolarité
•    Assistance pour l’établissement du bilan financier



Compétences nécessaires au poste :

•    Gestion de projet (planification, diagramme de Gantt, budget prévisionnel, gestion des risques,…)
•    Maitrise avancées des outils bureautiques Microsoft (Excel, Powerpoint, Word,…)
•    Connaissances des TICE (e-campus, AURION, Notilus)
•    Expérience l’enseignement supérieur dans le domaine de l’aéronautique ou du transport aérien
•    Bonne capacité de coordination et d’organisation
•    Dynamisme, autonomie, adaptabilité
•    Discrétion / respect de confidentialité des dossiers
•    Diplôme de l’enseignement supérieur
•    Anglais niveau B1 confirmé, B2 exigé

 

Qualification ou formation (Niveau, Diplôme, Certificats, etc.) : BAC +2

Expérience exigée : 5 ans
Déplacements prévus : non
Durée du CDD : 36 mois

Non renouvelable
Salaire : en fonction du profil du candidat
Date de recrutement prévue : 01/06/2019

 

Contact :
Sélection ENAC Pilote Instructeur avec ou sans qualification FI(A)
Type de contrat :
CDD ou CDI
Date de début :
01/03/19
Ville :
Enac Toulouse - 7 avenue Edouard Belin, BP 54005, Toulouse Cedex 4


Clôture du dépôt des dossiers de candidatures le 03/06/2019, cachet de la poste faisant foi.

L’ENAC organise une sélection en vue d’un recrutement de Personnels navigants techniques de la DGAC.

La sélection vise à constituer une liste de personnels pouvant être recrutés en CDI en application du décret n° 2011-502 modifié relatif au statut des PNT DGAC ou en CDD selon la loi n°84-16 en tant qu’agent contractuel de l’Etat.

Validité de la sélection 3 ans.

La sélection est ouverte à des pilotes instructeurs et des pilotes sans qualification FI(A).
Les pilotes sélectionnés sans qualification FI(A), suivront, après recrutement, une formation FI. L’embauche définitive sera effective à l’issue de la période d’essai, sous réserve d’avoir suivi la formation de manière complète et satisfaisante. Un engagement minimum de 2 ans est exigé.

Les épreuves se dérouleront comme suit :
•    QCM : le vendredi 14 juin 2019 à 13h30 à l’ENAC TOULOUSE
•    Entretiens (1 journée) : 25, 26, 27 juin à l’ENAC MURET
•    Vol (1 journée) : Semaine 27 dans un centre ENAC


Seuls les dossiers de candidature complets et dûment renseignés seront retenus. La fiche de candidature est à télécharger sur le site web ENAC et à envoyer à :

ENAC/SG/RH/PN                                                                                                                                                                                                                                                      
Rue de l’aviation
CS 30080
31603 MURET Cedex

Contacts

DFPV Département Opérations :
Jean-Marie Courrier – DCFI : 07.63.10.13.52
Nathalie FASANO : 05.62.17.42.88

RH :
Laurence Evrard : 05.62.14.78.31
Souad EL BAKOURI : 05.62.14.78.29

 

Veuillez télécharger les critères de sélection sur le lien suivant :

http://www.enac.fr/fr/file/selectionpiloteinstructeurpdf

 

L’ensemble des qualifications pilote et instructeur exigé (Compétence linguistique incluse), ainsi que la visite médicale doivent être en état de validité à la date de clôture des candidatures et pour l’ensemble de la période de sélection théorique et pratique.
La fiche de candidature ainsi que la liste des pièces à fournir dont l’attestation d’expérience et/ou l’attestation de non-incident ou accident sont à télécharger ci-dessous.

Fichiers à télécharger

Fiche de candidature : fiche_candidature_pn_v8.doc
Formulaire attestion d'expérience : formulaire_dattestation_dexperience-1.pdf                                                                                                                           
Formulaire d'attestation de non incident, non accident : formulaire_dattestation_de_non_incident_non_accident__0.pdf

 

 

 

Contact :
Offre de thèse en informatique dans l’équipe Informatique Interactive de l’ENAC
Type de contrat :
CDD 3 ans
Date de début :
27/02/19
Ville :
Enac Toulouse - 7 avenue Edouard Belin, BP 54005, Toulouse Cedex 4

Date limite d'envoi des candidatures (CV+lettre de motivation, et si possible une lettre de recommandation justifiant de votre expérience en recherche) : 14/04/2019

Date de recrutement prévue : 01/10/2019

 

Coordonnées de la personne chargée de la réception des candidatures : celia.picard@enac.fr

Sujet : Vérification d’un langage informatique réactif orienté interactions et de ses composants
Encadrement : Celia Picard et Sébastien Leriche
Localisation : équipe LII, ENAC, Toulouse

 

Cette thèse sera financée par un contrat doctoral délivré par l’École doctorale Systèmes (EDSYS : https://www.adum.fr/as/ed/page.pl?page=accueil&site=edsys) de l’université de Toulouse. Son financement est garanti sous réserve de la présentation d’un candidat recevable. Elle pourra être complétée par des heures d’enseignement à effectuer au sein de l’ENAC. Le candidat retenu sera intégré dans l’équipe d’Informatique Interactive de l’ENAC à Toulouse. Elle est composée de 10 enseignants-chercheurs et ingénieur de recherche permanents.

Contexte

L'équipe d'Informatique Interactive (LII) du laboratoire de recherche de l'ENAC (Ecole Nationale de l'Aviation Civile) développe une plateforme de modélisation nommée djnn [1]. Djnn permet la conception et l’exécution de logiciels offrant un support pour les interactions humain-machine. Cet environnement comprend smala [2], un langage dédié à la description de ces logiciels (structuration en composants, mécanismes de contrôle, flot de données, gestion des entrées et des sorties…). Compilée puis liée à des librairies spécifiques, une application décrite en smala peut alors être exécutée [6,7].
Le langage smala est réactif : il permet de décrire des applications répondant à des événements externes (inputs utilisateur depuis l’interface, timers, etc…) de manière instantanée. Contrairement aux langages traditionnels, smala repose sur des mécanismes de traitement d’événements, de machine à état et de gestion de flots de données.
Le langage smala partage les mécanismes de base (aspects réactifs, propagation d’activation…) des autres langages réactifs comme Lustre. Son originalité réside dans son côté fortement orienté interaction : il produit une représentation perceptible de son état interne [9, 10]. Ainsi, de nombreux composants sont dédiés à la création, l’importation, la manipulation et l’affichage d’objets graphiques et interactifs.
Par ailleurs, le LII s’intéresse plus particulièrement à la description de systèmes interactifs critiques pour le transport aérien (cockpit, position de contrôle, etc.). Ces systèmes logiciels nécessitent une certification qui est décrite par la norme DO-178C. L’annexe 333 de cette norme préconise en particulier l’emploi de méthodes formelles pour les sous-systèmes les plus critiques et encadre leur pratique.

Problématique

La formalisation et la validation de composants interactifs et graphiques est un défi à part entière, non adressé par la littérature. En général, ces composants sont validés de façon empirique par des tests utilisateurs et des recettes, qui sont coûteuses en temps et non exhaustives. Plus généralement, nous nous intéressons à la certification du langage smala et de ses composants afin de pouvoir les utiliser dans des applications embarquées (et en tout premier lieu, l’hélicoptère électrique Volta [7]) ou critiques (comme les logiciels interactifs dédiés au contrôle du trafic aérien [11]) réelles.

Démarche proposée

Une première étape de cette certification passe par la validation de la chaîne de compilation du langage smala. Il s’agit de démontrer formellement que le résultat de la compilation correspond bien en tous points au programme passé en entrée du compilateur. Un compilateur C certifié, COMPCERT [4], issu de travaux de recherche, est déjà utilisé en particulier par l’industrie aéronautique. L’idée ici est d’effectuer une première transformation de modèle certifiée de smala vers C puis d’utiliser COMPCERT pour compiler le programme C obtenu. Nous pourrons pour cela nous inspirer de travaux effectués pour la vérification d’un compilateur pour le langage Lustre [5].
Une deuxième étape réside dans la définition de composants interactifs certifiés. Nous nous intéresserons en particulier à la définition de composants assurant, par construction, le respect de bonnes propriétés. Dans cette thèse, nous mettrons l’accent sur des propriétés graphiques comme la non-recouvrabilité d’un objet ou sa visibilité. Par exemple, il serait intéressant de créer un composant « Alarme » qui garantit qu’aucun autre composant ne pourra être affiché au-dessus ou qu’il ne pourra pas être rendu invisible par des filtres de transparence ou des jeux de couleurs.
Pour assurer le respect de ces propriétés par construction il sera nécessaire de travailler sur la loi de composition des composants et donc la sémantique du langage smala. Le travail sur le compilateur certifié en sera donc impacté. Ainsi, les deux étapes de cette thèse sont intimement liées et évolueront constamment ensemble.

Travaux existants

Plusieurs compilateurs smala co-existent (en C, C++, java). Ils restent cependant empiriques et un travail préliminaire sur la formalisation de la sémantique du langage est nécessaire. Ce travail a été amorcé au travers de stages. Ils ont en particulier permis de définir les mécanismes minimaux du langage à partir desquels l’ensemble des autres composants peuvent être définis au travers de bibliothèques. La partie concernant les composants graphiques n’a cependant pas du tout été abordée. Il faut également poursuivre le travail par la définition d’un compilateur.
Des travaux préalables ont été menés sur la vérification de propriétés interactives telles que le nonrecouvrement, sur des programmes djnn [8]. Ces vérifications utilisent des méthodes d’analyse statique sur le graphe représentant un programme djnn : elles sont donc ad-hoc (à revalider à chaque nouveau graphe ou à chaque changement dans le graphe). Il s’agirait ici de proposer des composants assurant ces propriétés par construction.
Enfin, une thèse est en cours dans l’équipe sur les techniques et outils pour l’analyse des systèmes interactifs (fin en septembre 2020). Elle s’intéresse en particulier à la vérification de propriétés graphiques par analyse statique du code smala. Elle comprend un travail sur l’identification préalable de certaines de ces propriétés. Elle constituera donc une base de départ intéressante pour choisir les propriétés à adresser ici.

Résultats attendus

Les résultats attendus sont de deux ordres. D’une part la définition et la validation d’un compilateur pour le langage smala, d’autre part la définition de composants smala assurant par construction le respect de bonnes propriétés, en particulier interactives.
L’originalité de ce travail réside dans l’aspect interactif et graphique du langage smala, qui le différencie des autres langages réactifs. Cela requiert de manipuler à la fois des concepts de haut niveau (vérification du compilateur, vérification) et bas niveau (affichage, propriétés graphiques) et à les coupler.

Profil du candidat

Vous êtes titulaire d’un Master 2 (ou équivalent en informatique).
Vous êtes intéressés aussi bien par les aspects formels et théoriques de l’informatique que par les problématiques qui touchent à l’utilisabilité des systèmes et à l’interaction humain-système. Des connaissances en méthodes formelles, preuve de programme (Coq), compilation, programmation fonctionnelle (Caml) ou systèmes interactifs sont un plus.
Vous avez un bon niveau d’anglais. Vous êtes motivé, autonome, curieux et aimez le travail collaboratif.
Vous avez une première expérience en recherche (stage, module d’initiation à la recherche...)

Bibliographie

[1] M. Magnaudet, S. Chatty, S. Conversy, S. Leriche, C. Picard, and D. Prun. Djnn/Smala: A Conceptual
Framework and a Language for Interaction-Oriented Programming. Proc. ACM Hum.-Comput. Interact.
2, EICS, Article 12 (June 2018)
[2] http://smala.io
[3] https://coq.inria.fr/
[4] X. Leroy. Formal verification of a realistic compiler. Communications of the ACM, 52(7):107-115,
2009
[5] T. Bourke, L. Brun, P. É. Dagand, X. Leroy, M. Pouzet and L. Rieg. (2017, June). A formally verified
compiler for Lustre. In ACM SIGPLAN Notices (Vol. 52, No. 6, pp. 586-601). ACM.
[6] S. Conversy, J. Garcia, G. Buisan, M. Cousy, M. Poirier, N. Saporito, D. Taurino, G. Frau and J.
Debattista. 2018. Vizir: A Domain-Specific Graphical Language for Authoring and Operating Airport
Automations. In Proceedings of the 31st Annual ACM Symposium on User Interface Software and Technology
(UIST '18)
[7] P. Antoine and S. Conversy, Volta: the first all-electric conventional helicopter, More Electric Aircraft,
2017.
[8] S. Chatty, M. Magnaudet and D. Prun. Verification of properties of interactive components from their
executable code. 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2015),
Jun 2015, Duisbourg, Germany. ACM, EICS '15 Proceedings of the 7th ACM SIGCHI Symposium on
Engineering Interactive Computing Systems, pp.276-285 2015,
[9] M. Beaudouin-lafon, Designing interaction, not interfaces, Proceedings of the working conference on
Advanced visual interfaces , AVI '04, pp.15-22, 2004.
[10] B. A. Myers and M. B. Rosson, Survey on user interface programming, Proceedings of the SIGCHI
Conference on Human Factors in Computing Systems, pp.195-202, 1992.
[11] M. Cordeil, T. Dwyer, and C. Hurter, Immersive solutions for future Air Traffic Control and Management,
Proceedings of the 2016 ACM Companion on Interactive Surfaces and Spaces, ISS Companion '16,
pp.25-31, 2016.

Contact :
Chargé(e) de communication et réseau
Type de contrat :
CDD de 12 mois
Date de début :
22/02/19
Ville :
Enac Toulouse - 7 avenue Edouard Belin, BP 54005, Toulouse Cedex 4

Coordonnées : contact@alumni.enac.fr

ENAC Alumni est l’Association des Diplômés de l’Ecole Nationale de l’Aviation Civile. L'association a pour mission d'animer un réseau de plus de 24 000 Alumni et étudiants dans le monde entier.
Afin d’accroitre le développement de ses activités, ENAC Alumni est à la recherche d’un ou une Chargé(e) de Communication et Réseau.

 

Quelles tâches / missions à effectuer :

Rattaché(e) à la Responsable Communication et Réseau, il vous sera demandé de faire preuve de polyvalence dans la réalisation des missions suivantes :


-    Communication auprès de notre réseau Alumni sur nos supports de communication et via nos réseaux sociaux
-    Participer à l’organisation des événements à destination des Alumni et des Etudiants
-    Animer et promouvoir le réseau sur le Campus de l’ENAC et auprès des Alumni
-    Développer les partenariats et suivi des partenariats en cours
-    Tenue et mise à jour de l’Annuaire des diplômés
-    Participer à la campagne de la Taxe d’Apprentissage de l’ENAC


Compétences nécessaires au poste :

Vous avez de réelles qualités relationnelles, vous faites preuve de créativité, de curiosité, d’initiative et êtes force de proposition vous êtes la personne que nous recherchons !
De formation Bac +3 dans les domaines de la communication, vous justifiez de quelques années d’expériences dans des fonctions de communication.
Un bon niveau d'anglais est impératif.
La maitrise des outils de création tel que la suite Adobe (Photoshop, Indesign, Illustrator) ainsi celle des réseaux sociaux et communautés en ligne, sont indispensables.
La maitrise d’outil de création vidéo et du langage html serait un plus. 

Qualification ou formation (Niveau, Diplôme, Certificats, etc.) : Bac + 3
Déplacements prévus : oui
Durée du CDD : 12 mois

 

Contact :
Back to top