2 formal-verification Postdoctoral positions in France

Post-doctoral fellow in model-based reinforcement learning - 24 months contract

Télécom Paris | Palaiseau, le de France | France | 2 months ago

algorithms where the agent can propose updates to its own world model structure, but these updates are only accepted after a formal verification step confirms that the new model still adheres to its core

Post-doctoral fellow in AI for Microarchitectural Security - 12 months contract

Télécom Paris | Palaiseau, le de France | France | about 2 months ago

-oriented features, present a large attack surface that traditional verification techniques—such as formal methods—struggle to cover. To effectively mitigate this growing threat landscape, vulnerability