A postdoctoral position is available in India for the Indo-French CEFIPRA project SMILeS -- Synthesis with Multiple objectives, Imperfect information, and Learning in Stochastic systems. 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. ------------------------------------------------------------ -------------------------------------------------- Location: School of Technology and Computer Science, Tata Institute of Fundamental Research, Mumbai. Duration: up to 28 months with renewal after every year based on the performance of the candidate. Job offer details: https://www.tifr.res.in/shibashis.guha/SMILESjob-offer-postdoc2.pdf <https://www.tifr.res.in/shibashis.guha/SMILESjob-offer-postdoc.pdf> Contact: Dr. Shibashis Guha <shibashis@tifr.res.in> <shibashis@tifr.res.in> ------------------------------------------------------------ -------------------------------------------------- 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). Applications and questions regarding the position may be sent to both Shibashis Guha (shibashis@tifr.res.in) and Laurent Doyen ( laurent.doyen@lmf.cnrs.fr). Applicants must have a PhD degree (or be in the process of obtaining one); - Candidate competences: Strong level in Logic, Automata, Games. Good familiarity with Complexity theory, Algorithms, and Probability. - Candidate know-how: Excellent writing and oral communication skills in English, including LaTeX. Collaborative and teamwork instinct. - Expected starting date: August 15, 2026 Please contact us if interested, and send a CV, a publication list, name of two or three referees, and a link to your PhD manuscript, preferably by July 15, 2026. Shibashis Guha & Laurent Doyen