1 formal-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 | 3 days 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