-
, CentraleSupélec). The recruited postdoctoral researcher will work within the Model Checking and Synthesis team of the LMF. This team is interested in the foundations of models of computation. Formal models
-
Laboratory (Light, Matter, and Interfaces) is a research unit (FRE2036) established on January 1, 2020, under the supervision of Université Paris-Saclay, ENS Paris-Saclay, CNRS (INSIS), and CentraleSupélec
Searches related to postdoctoral
Enter an email to receive alerts for postdoctoral "CentraleSupélec" positions