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 | 4 days 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 wireless networks and system modeling - 24 months contract

Télécom Paris | Palaiseau, le de France | France | about 1 month ago

complex circuits. The team is particularly interested in formal methods and system verification to ensure reliability from the earliest development stages. A major research focus concerns hardware security