2 structures-"https:" "https:" "https:" "https:" "https:" "https:" "https:" Postdoctoral positions at Inria, the French national research institute for the digital sciences

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 | about 2 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

Post-Doctoral Research Visit F/M Interfacing Crop Models with Reinforcement Learning (F/H)

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

fields including health, agriculture and ecology, sustainable development. More information, please visit https://team.inria.fr/scool/projects Odalric-Ambrym Maillard is a permanent researcher at Inria. He