3 formal-method-phd Postdoctoral positions at Télécom Paris

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

Télécom Paris | Palaiseau, le de France | France | 11 days ago

: Verifiable world models. The research will focus on developing a new class of structured, verifiable world models that integrate the flexibility of deep learning with the rigor of formal methods and

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

Télécom Paris | Palaiseau, le de France | France | 5 days 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

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