Emplois pour teaching assistant dans Toulouse

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 software implementation, with applications in safety-critical...