Missions The recruited postdoctoral researcher will contribute to the ANR/NSF CAFEE project, an international collaboration aiming at bridging the gap between control theory and formal verification at code level . The project targets end-to-end guarantees , from high-level control design to embedded