[FM-India]Two postdoctoral positions in Reactive Synthesis

Two postdoctoral positions are available in the Indo-French CEFIPRA project SMILeS -- Synthesis with Multiple objectives, Imperfect information, and Learning in Stochastic systems, one in India and one in France. 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. -------------------------------------------------------------------------------------------------------------- * Position in India: Location: School of Technology and Computer Science, Tata Institute of Fundamental Research, Mumbai. Duration: up to 30 months (2.5 years) with renewal after every year based on the performance of the candidate. Job offer details: https://www.tifr.res.in/shibashis.guha/SMILESjob-offer-postdoc.pdf Contact: Dr. Shibashis Guha <shibashis(a)tifr.res.in> <shibashis(a)tifr.res.in> -------------------------------------------------------------------------------------------------------------- -------------------------------------------------------------------------------------------------------------- * Position in France: Location: LMF, ENS Paris-Saclay (Laboratoire Methodes Formelles) Duration: 1 year Job offer details: https://lsv.ens-paris-saclay.fr/~doyen/post-doc-offer--IFI_CEF_25_20.pdf !! Only available to non-French scientists !! Contact: Dr. Laurent Doyen <laurent.doyen(a)lmf.cnrs.fr> <laurent.doyen(a)lmf.cnrs.fr> -------------------------------------------------------------------------------------------------------------- The positions are available immediately. The selected candidates will work closely with both the Indian PI (Shibashis Guha) and the French PI (Laurent Doyen), and may also collaborate with colleagues in either the Indian or French side. Applications and questions regarding the position may be sent to both Shibashis Guha (shibashis(a)tifr.res.in) and Laurent Doyen ( laurent.doyen(a)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: March 01, 2026 We will be glad to answer further questions and look forward to receiving your application for this exciting research opportunity! Please contact us if interested, and send a CV, a publication list, and a link to your phd manuscript. Shibashis Guha & Laurent Doyen