Offres d'emplois / stages

Enseignant en Opérations Aériennes et Inspecteur des Etudes
Type de contrat :
CDD
Date de début :
01/10/17
Ville :
ENAC Toulouse


Date limite d’envoi des candidatures (CV + lettres de motivation) au service demandeur : 15/04/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 : secretariat.ta@enac.fr
N° de téléphone : 05 62 17 44 02

Quelles tâches / missions à effectuer :

 
Le/la candidat(e) retenu(e) sera amené(e), dans le domaine des opérations aériennes :
•    à développer et enseigner des cours,
•    à mettre en place et superviser des projets,
•    et à participer au développement de programmes pédagogiques en France et à l'étranger.
Le/la candidat(e) retenu(e) sera également amené(e) à assurer l’encadrement pédagogique d’étudiants, dans un environnement multi culturel, lors des phases académiques ou lors des stages en entreprise.

 

Compétences nécessaires au poste :

•    Connaissance indispensable des opérations aériennes (performances, limites d’utilisation avion, préparation et conduite du vol…).
•    Goût pour la pédagogie et le contact avec les étudiants et les stagiaires, capacité à rédiger des supports de cours de référence, à développer des examens dans l'alignement pédagogique des objectifs du cours. Une expérience de l’enseignement est fortement souhaitable.
•    Capacité à assurer un enseignement et à travailler en anglais (niveau B2 mini exigé).
•    Diplomatie dans les contacts avec les partenaires pour maintenir et développer le réseau. Une bonne connaissance du milieu industriel serait donc un plus.
•    Capacité à travailler en équipe, en organisation matricielle.


 

Qualification ou formation (Niveau, Diplôme, Certificats, etc.) :  Bac + 5

Expérience exigée : 5 ans

Déplacements : Oui (Monde)

Contrat
Date de recrutement prévue : 01/10/2017
Durée du CDD : 3 ans renouvelable
Quel est le lieu de travail : ENAC Toulouse
Salaire : En fonction du profil du candidat

Contact :
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 : daniel.prun@enac.fr
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.
 
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 :
daniel.prun@enac.fr
Back to top