[FM-India]Post-doc hiring in Singapore-French collaborative program Descartes on Formal Reasoning and AI