2 structural-engineering-"https:" "https:" "https:" "https:" "https:" "https:" "https:" "Dip" uni jobs 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 | 24 days ago

27 Feb 2026 Job Information Organisation/Company Ecole Nationale de l'Aviation Civile Research Field Engineering » Electronic engineering Researcher Profile Recognised Researcher (R2) Leading

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 | 2 months ago

formalize Smala, an interaction-oriented language developped at ENAC. Smala is, at its core, a reactive language, where bindings written by the programmer specify how outside events are propagated, and how