[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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://urldefense.com/v3/__https://www.tifr.res.in/shibashis.guha/SMILESjob-offer-postdoc2.pdf__;!!IBzWLUs!RTmedf1TomOFaZdAJ4Py9tJvRIrisCR_A99wqL17svDVunVFBO05V3WNIFrVHs6l2-vKlYXMtA5s-vUrILK_cSX4S6V896lY33ic6N0$
<https://urldefense.com/v3/__https://www.tifr.res.in/shibashis.guha/SMILESjob-offer-postdoc.pdf__;!!IBzWLUs!RTmedf1TomOFaZdAJ4Py9tJvRIrisCR_A99wqL17svDVunVFBO05V3WNIFrVHs6l2-vKlYXMtA5s-vUrILK_cSX4S6V896lY_iHarU4$
>
Contact: Dr. Shibashis Guha <[email protected]> <[email protected]>
------------------------------------------------------------
--------------------------------------------------
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 ([email protected]) and Laurent Doyen (
[email protected]).
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
