2 verification Postdoctoral positions at Télécom Paris

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

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

Télécom Paris | Palaiseau, le de France | France | about 8 hours 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