Logic List Mailing Archive

CfA: Postdoctoral Position in Logic Automata Games and Reactive Synthesis (SMILeS Project) at Tata Institute of Fundamental Research, Mumbai (India), deadline: 15 July 2026

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
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php