Post-Doctoral Research Visit F/M Safe Planning for Markov Decision Processes
Inria
France
Summary
Postdoctoral research position in AI planning, formal methods and reinforcement learning. Develop safe planning algorithms for multi-environment MDPs and POMDPs with theory and practice validation. 12-month term, potential extension. PhD in CS required; strong math and English.