Offres d`emplois / stages

Offres d'emplois / stages
Offres d'emplois / stages
Ecole Nationale de l'Aviation
Civile
OFFRES D'EMPLOIS / STAGES
Thèse en informatique
Type de contrat :
CDD
Date de début :
30/09/17
Ville :
ENAC Toulouse
Date limite d’envoi des candidatures (CV + lettres de motivation) au service demandeur :
31/03/2017
Coordonnées de la personne chargée de la réception des candidatures :
Nom : Prun Prénom : Daniel
Fonction : Enseignant-Chercheur
Adresse mail : [email protected]
N° de téléphone : 05 62 17 45 73
Quelles tâches / missions à effectuer :
Sujet de la thèse: Techniques et outils pour l’analyse des systèmes hommes-machines interactifs
L’objectif général de cette thèse est de concevoir et développer des techniques et outils pour la
vérification et la validation formelle des systèmes hommes-machines interactifs et critiques.
La thèse s’inscrit en partie dans le projet de rechercher FORMEDICIS. Ce projet de type ANR, d’une
durée de 48 mois et démarrant au 1er octobre 2016, a pour objectif général d’une part de définir un
langage L de description permettant de spécifier et de concevoir les systèmes interactifs, et d’autre
part de proposer des méthodes et outils permettant au concepteur de vérifier des propriétés
attendues sur ce langage. Le domaine considéré est celui des systèmes aéronautiques critiques,
abordant les technologies WIMP et post-WIMP, et dans un contexte de certification. Le rôle du LII
dans ce projet concerne la participation à la définition du langage L (syntaxe, sémantique) ainsi que
la génération de code exécutable à partir de L préservant les propriétés qui auront été
préalablement vérifiées et respectant les contraintes des IHM avioniques existantes (ARINC 661) ou
à venir.
Page 1 of 7
Offres d'emplois / stages
La thèse s’inscrit aussi dans le projet de développement de djnn porté par l’équipe LII de l’ENAC.
Développé par le LII depuis plusieurs années, son objectif est de permettre de décrire et d’exécuter
les systèmes interactifs de manière à en améliorer la maîtrise de leur complexité. Ses grands
principes sont : une description centrée sur le contrôle, une volonté d’unification des concepts de
base, la définition d’une syntaxe et d’une sémantique précises, la prise en compte des
caractéristiques d’utilisabilité appréciées dans les langages et environnements de génie logiciel
(déclarativité, localité, divisibilité, réutilisabilité, encapsulation, etc.). L’articulation avec le projet
FORMEDICIS repose sur l’utilisation de djnn comme langage et plate-forme d’exécution ainsi que sur
l’utilisation de djnn pour la vérification et la validation formelle.
Dans ce contexte, ce projet de recherche s’attache à concevoir et développer des outils permettant
de conduire efficacement des activités de vérification et validation des systèmes homme-machine
critiques. En particulier les efforts se concentreront sur la mise en œuvre de techniques permettant
l’élaboration et l’exploitation de modèles de ces systèmes. Ces modèles centrés sur l’interaction
devront permettre au concepteur, d’une part de décrire efficacement la spécification et la
conception de ces systèmes (propriétés attendues, choix de conception) et, d’autre part de s’assurer
du respect des propriétés attendues par des capacités d’analyse, de simulation ou de preuves. Les
principales techniques qui pourront être approfondies sont : l’interprétation abstraite, le model
checking, les observateurs synchrones, la génération automatique de tests.
Compétences nécessaires au poste :
- Techniques de vérification et de validation ; Langages formels ;
- Informatique : Interface Homme-Machine ; architecture logicielle ; programmation ; système
d’exploitation Windows / Linux
- Langue : français / anglais
Qualification ou formation (Niveau, Diplôme, Certificats, etc.) : Master 2 / Ingénieur avec une
formation d'initiation à la recherche
Profil débutant : Oui
Déplacements : Oui (France (pour le projet Formedicis) / Monde (pour la participation aux
conférences))
Contrat
Date de recrutement prévue : Automne 2017
Durée du CDD : 36 mois
Précisez si le CDD est renouvelable : Non
Quel est le lieu de travail : ENAC Toulouse
Salaire : Montant brut mensuel 2023 €
Contact :
[email protected]
Responsable du domaine « enseignements en
météorologie »
Type de contrat :
CDD
Date de début :
01/07/17
Ville :
Page 2 of 7
Offres d'emplois / stages
ENAC Toulouse
Date limite d’envoi des candidatures (CV + lettres de motivation) au service demandeur :
24/02/2017
Coordonnées de la personne chargée de la réception des candidatures :
Nom : CARIVENC Prénom : Béatrice
Fonction : secrétaire
Adresse mail : [email protected]
N° de téléphone : 05 62 17 44 02
Quelles tâches / missions à effectuer :
En plus de la gestion des ressources et des enseignements du domaine météo, le candidat sera
amené à développer et enseigner des cours en français et en anglais dans le domaine de la
météorologie générale et aéronautique au profit des différents métiers du transport aérien, à mettre
en place et superviser des projets, à participer à la rédaction d’ouvrages de référence, à prendre la
responsabilité du développement de programmes pédagogiques en France et à l'étranger, et à
prendre la responsabilité de la gestion de promotions d’étudiants.
Compétences nécessaires au poste :
Compétences attestées en météorologie, diplôme et expérience professionnelle avérée
Bonne connaissance du monde aéronautique, notamment via l’expérience démontrée du pilotage
Pédagogie, capacité à rédiger des supports de cours de référence, à développer des examens dans
l'alignement pédagogique des objectifs du cours.
Capacité à assurer un enseignement et à travailler en anglais.
Capacité à travailler en équipe, en organisation matricielle notamment.
Langues :
Français et Anglais courant exigés (niveau B2 CECR attesté minimum)
Qualification ou formation (Niveau, Diplôme, Certificats, etc.) : Ingénieur Bac+5
Expérience exigée :
10 ans d’expérience professionnelle de la météorologie
5 ans d’expérience du monde aéronautique
5 ans d’expérience de l’enseignement, incluant une expérience significative de l’enseignement de la
météorologie
2 ans d’expérience de l’encadrement.
Déplacements : Monde
Horaires d’ouverture du Bureau des Programmes : 07h30/12h00 – 13h00/17h30
Contrat
Date de recrutement prévue : à compter du 01/05/2017
Durée du CDD : 3 ans renouvelable
Quel est le lieu de travail : ENAC Toulouse
Salaire : En fonction du profil du candidat
Page 3 of 7
Offres d'emplois / stages
Contact :
Ingénieur de recherche en systèmes drones URIDRON1704
Type de contrat :
CDD
Date de début :
02/05/17
Ville :
ENAC Toulouse
Date limite d’envoi des candidatures (CV + lettres de motivation) au service demandeur :
03/03/2017
Coordonnées de la personne chargée de la réception des candidatures :
Nom : Jestin Prénom : Yannick
Fonction : Responsable programme de recherche Drone, porteur de la Chaire Engie Ineo - Groupe
ADP - Safran Systèmes de Drones
Adresse mail : [email protected]
N° de téléphone : 05 62 17 42 93
Quelles tâches / missions à effectuer :
Responsabilité scientifique et technique de projet sur les systèmes Drones et participation aux
tâches de gestion dans le cadre des activités de la Chaire Engie INEO - Groupe ADP - Safran
Systèmes de Drones; participation à la conception, réalisation et expérimentation liées à l'utilisation
de Drones pour la calibration de moyens de navigation pour l'aviation; participation aux instances
nationales et internationales de normalisation et règlementation; animation scientifique et technique
Compétences nécessaires au poste :
Connaissances approfondies dans l'ingénierie de l'aviation civile: exploitation, CNS, ATM, Avionique,
traitement du signal et électromagnétisme. Une expérience dans les systèmes drones sera
appréciée. Connaissances scientifiques et techniques, goût pour la recherche. Qualités
relationnelles, communication, niveau d’anglais oral et écrit permettant la communication dans des
instances internationales. Compétences en management de projet, suivi budgétaire.
Qualification ou formation (Niveau, Diplôme, Certificats, etc.) : Diplôme d'ingénieur ou
équivalent
Expérience exigée : 5 ans
Déplacements : Oui (Monde)
Contrat
Date de recrutement prévue : 02/05/2017
Durée du CDD : 2 ans
Page 4 of 7
Offres d'emplois / stages
Précisez si le CDD est renouvelable : Oui
Quel est le lieu de travail : ENAC Toulouse
Salaire : en fonction du profil du candidat
Contact :
[email protected]
Gestionnaire budgétaire
Type de contrat :
CDD
Date de début :
16/03/17
Ville :
ENAC Toulouse
Date limite d’envoi des candidatures (CV + lettres de motivation) au service demandeur :
16/02/2017
Coordonnées de la personne chargée de la réception des candidatures :
Nom : Fremond Prénom : Patricia
Fonction : Chef de la cellule Affaire financière
Adresse mail : [email protected]
N° de téléphone : 05 62 17 44 57
Quelles tâches / missions à effectuer :
Assurer la gestion des commandes et des factures (contrôle de la régularité juridique et comptable)
et assurer l’interim du secrétariat
Compétences nécessaires au poste :
Connaissance des règles de la comptabilité publique et des règles budgétaires propres aux
Etablissements Publics, connaissance de la gestion de la commande publique (code des marchés),
connaissance des logiciels bureautiques (Word, Excel,...)
Qualification ou formation (Niveau, Diplôme, Certificats, etc.) : Bac général minimum
Expérience éxigée : 2 ans
Contrat
Date de recrutement prévue : 16 mars 2017
Durée du CDD : 6 mois renouvelable
Quel est le lieu de travail : ENAC Toulouse
Salaire : Montant brut mensuel / SMIC
Page 5 of 7
Offres d'emplois / stages
Contact :
[email protected]
Enseignant-chercheur en traitement du signal
Type de contrat :
CDD
Date de début :
01/03/17
Ville :
ENAC Toulouse
Date limite d’envoi des candidatures (CV + lettres de motivation) au service demandeur
: 20/01/2017
Coordonnées de la personne chargée de la réception des candidatures :
Nom : MACABIAU Prénom : Christophe
Fonction : Résponsable de l'équipe de recherche TELECOM
Adresse mail : [email protected]
N° de téléphone : 0562174277
Quelles tâches / missions à effectuer :
Enseignement à hauteur d'une demi-charge dans le domaine du traitement du signal, de
l’estimation, et du GNSS (domaine de la navigation aérienne) et travaux de recherche associés à
hauteur d'une demi-charge
Compétences nécessaires au poste :
Expertise dans le domaine du traitement du signal, de l’hybridation du GNSS avec d’autres capteurs,
de l’utilisation du GNSS dans l’Aviation Civile, et enseignements associés
Qualification ou formation (Niveau, Diplôme, Certificats, etc.) : Doctorat en traitement du
signal
Expérience éxigée : 10 ans
Déplacements : Oui (Monde)
Contrat
Date de recrutement prévue : 1er mars 2017
Durée du CDD : 36 mois renouvelable
Quel est le lieu de travail : ENAC Toulouse
Salaire : En fonction du profil du candidat
Contact :
[email protected]
Page 6 of 7
Offres d'emplois / stages
Source URL: http://enac.fr/fr/offresdemploi
Page 7 of 7