1 data-"https:" "https:" "https:" "https:" "https:" "https:" "https:" "Edinburgh Napier University" positions at Ecole Nationale de l'Aviation Civile

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 | about 1 month ago

14 Jan 2026 Job Information Organisation/Company Ecole Nationale de l'Aviation Civile Research Field Computer science » Informatics Researcher Profile Recognised Researcher (R2) Leading Researcher