4 data-"https:" "https:" "https:" "https:" "https:" "https:" "https:" "UCL" "University of London" Postdoctoral positions at Inria, the French national research institute for the digital sciences
-
Inria, the French national research institute for the digital sciences | Palaiseau, le de France | France | about 2 months ago
7 Feb 2026 Job Information Organisation/Company Inria, the French national research institute for the digital sciences Research Field Computer science Researcher Profile Recognised Researcher (R2
-
Inria, the French national research institute for the digital sciences | Villeneuve la Garenne, le de France | France | 24 days ago
6 Mar 2026 Job Information Organisation/Company Inria, the French national research institute for the digital sciences Research Field Computer science Researcher Profile Recognised Researcher (R2
-
Inria, the French national research institute for the digital sciences | Paris 15, le de France | France | 3 months ago
Tollitte Changing Data Representation within the Coq System, Nicolas Magaud Changing Data Structures in Type Theory:A Study of Natural Numbers, Nicolas Magaud and Yves Bertot Where to apply Website https
-
Inria, the French national research institute for the digital sciences | Montbonnot Saint Martin, Rhone Alpes | France | 2 months ago
15 Jan 2026 Job Information Organisation/Company Inria, the French national research institute for the digital sciences Research Field Computer science Researcher Profile Recognised Researcher (R2