Postdoc in Logic Automata Games and Reactive Synthesis (SMILeS Project) at Tata Institute of Fundamental Research, Mumbai [IN]

The project investigates the automated synthesis of reactive systems under uncertainty, combining quantitative and qualitative objectives, worst-case and expectation requirements, and using machine learning with formal guarantees.

The position is available immediately. The selected candidates will work closely with both the Indian PI (Shibashis Guha, TIFR) and the French PI (Laurent Doyen, LMF & CNRS), and other PIs (Krishna S, IIT Bombay) in the Indian and the French side (Patricia Bouyer and Dietmar Berwanger, LMF & CNRS).