Postdoc in Neuro-Symbolic Reasoning and Reinforcement Learning