Multiple post-doctoral research positions available in the project on “Provably Verified and Explainable Probabilistic Reasoning,” led by the Principle Investigator, Kuldeep S. Meel.

The project broadly aims to develop of formal methods for AI techniques and employ advances in AI techniques for the development of formal methods.

Website: https://meelgroup.github.io/files/postdoc.html
Email: meel+postdoc@comp.nus.edu.sg