3 processor "https:" "https:" "https:" Postdoctoral positions at Inria, the French national research institute for the digital sciences

Post-Doctoral Research Visit F/M Generalized Risk-Aware Bandits

Inria, the French national research institute for the digital sciences | Villeneuve la Garenne, le de France | France | 19 days ago

algorithms, and to publish these results in research papers. bibliographic work algorithm design and their theoretical analysis numerical simulations writing scientific papers Where to apply Website https

Post-Doctoral Research Visit F/M Postdoctoral position in Quantum Information Theory

Inria, the French national research institute for the digital sciences | Palaiseau, le de France | France | about 1 month ago

between the device-dependent and the device-independent scenario, and (iv) developing its applications in communication, computation, and security tasks Where to apply Website https://jobs.inria.fr/public

Post-Doctoral Research Visit F/M Reasoning up to equivalent representations in proof assistants

Inria, the French national research institute for the digital sciences | Paris 15, le de France | France | 3 months ago

project and in particular on consolidating the logical foundations of mathematical proof assistants (http://malinca.org ). It will be located at the IRIF lab in Paris. Travel expenses are covered within