Méthodes catégoriques pour la modélisation et la vérification d’architectures
La liste des stages que nous proposons peut évoluer, en fonction de l'avancement des études et de l'attribution des sujets aux candidats. Au moment de leur recherche de stage, les étudiants ne doivent pas hésiter à nous contacter pour connaître l'état réel des possibilités. Nous leur fournirons alors également des renseignements pratiques (constitution du dossier, gratification).
Enfin, le nombre de stagiaires admis étant limité, nous vous conseillons de commencer suffisamment tôt les démarches.
Prenez contact directement avec les responsables des stages qui vous intéressent (leurs coordonnées figurent sur les fiches).
Méthodes catégoriques pour la modélisation et la vérification d’architectures
Modélisation et analyse formelle du domaine en ingénierie des exigences
Calcul de temps d'exécution pire cas de programmes Lustre
Classification automatique d’objets d’intérêt en imagerie 3D
Détection interactive de zones d’intérêt en imagerie satellitaire
Localisation d'un drone par vision 3D monoculaire
Mesures de similarité sémantique pour la cotation des informations
Vision 3D monoculaire passive par camera plénoptique
Reconnaissance d’objet structuré complexe par vision fovéale
Fusion de données spatio-temporelles pour l'évaluation de la menace
Vérification automatique de calculs de bornes dans les réseaux embarqués
Analyse Combinée de Sûreté et de Sécurité
Un cadre formel pour l’argumentation de sécurité d’un système
Raisonner avec des informations acquises dans un contexte non-coopératif
RTOS pour plate-forme many-cœur
Politique d’échange d’information au sein d’un système complexe
Comparaison d'architectures avioniques
Cartographie aérienne hors ligne à partir de données vidéo et laser
Amélioration d'un algorithme de SLAM visuel par intégration de mesures inertielles
Détection et pistage d'objets dans des vidéos
Vision 3D temps réel par caméra monoculaire
Étude comparative de deux méthodes d’association
Analyse Mathématique et Modélisation "Fluide" de Réseaux
Performances temps-réel d'un NoC de processeur multi-cœurs
Optimisation de la configuration d'un réseau embarqué avionique
Modélisation Numérique d'un Jet Synthétique Plasma
Etude d'une méthode de Volumes Finis aux dérivées pour la simulation numérique en propagation
d'ondes
Responsable des stages
Onera
Direction des Ressources Humaines
Service Emploi-Formation
Chemin de la Hunière - BP 80100
FR-91123 PALAISEAU CEDEX
