2 Master positions at Ecole Nationale de l'Aviation Civile in France

ROMEO: Radio Occultation pour l'Observation des Méga Feux // ROMEO: Radio Occultation for Mega Fire Observation

Ecole Nationale de l'Aviation Civile | Toulouse, Midi Pyrenees | France | about 1 month ago

are finally derived from this refractivity profile. RO is a well-mastered technique for atmospheric sounding on Earth using GNSS as opportunity signals and on other bodies (Mars, Venus, ...). The operational

Compilation Formellement Vérifiée d'un Langage de Programmation Orienté Interaction // Formally Verified Compilation of an Interaction-Oriented Programming Language

Ecole Nationale de l'Aviation Civile | Toulouse, Midi Pyrenees | France | 3 months ago

use the Rocq prover as a primary tool. Indeed, it includes facilities for specification (of Smala's semantics), writing programs (the compilation scheme as a purely functional program), and