Vous êtes ici

Accueil

TIS-DTIS-2025-26

Modélisation et vérification de contrôle aérien distribué
Palaiseau
Thématique(s): 
Ingénierie des systèmes et des logiciels
Vérification formelle
model-checking
contrôle aérien (ATM)
drones (UTM)
PDF icon tis-dtis-2025-26.pdf
Autre
À Pourvoir
TIS: 
dsd-tis@onera.fr
Contact: 
romain.kervarc@onera.fr

ONERA - Direction des Ressources Humaines - Service Emploi-Formation
Chemin de la Hunière - BP 80100, FR-91123 PALAISEAU CEDEX