3 software-verification-computer-science Postdoctoral positions at Télécom Paris

Post-doctoral fellow in formal verification of multi-agent systems - 18 months contract

Télécom Paris | Palaiseau, le de France | France | 3 months ago

computer science. An important application of game theory in computer science and, more recently, in AI, concerns formal-system verification. In particular, game theory has become a powerful tool for the

Post-doctoral fellow in software engineering and cybersecurity - 36 months contract

Télécom Paris | Palaiseau, le de France | France | 3 months ago

11 Feb 2025 Job Information Organisation/Company Télécom Paris Research Field Technology » Computer technology All Other Technology » Future technology Researcher Profile First Stage Researcher (R1

Post-doctoral fellow in AI applied to RF dosimetry - 18 months contract

Télécom Paris | Palaiseau, le de France | France | about 2 months ago

14 Mar 2025 Job Information Organisation/Company Télécom Paris Research Field All Other Technology » Telecommunications technology Technology » Internet technology Researcher Profile First Stage