2 software-formal-method-phd positions at Télécom Paris

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

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

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

Post-doctoral fellow in Optimization for Machine Learning - 12 months contract

Télécom Paris | France | about 2 months ago

, probability, and statistical learning. You must also be proficient in Python and speak English. You have a PhD or equivalent degree and are able to work in a team, communicate effectively, and write clear