[TYPES/announce] Two postdoctoral positions in Reactive Synthesis

[Shibashis Guha]

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://urldefense.com/v3/__https://www.tifr.res.in/shibashis.guha/SMILESjob-offer-postdoc.pdf__;!!IBzWLUs!UyUqD3y-XUa5vA_PryN9pSQd6KTtWPZwZeb4t4UNSCQoK8Uw0VhYWa0YZw32m5kxqStTz2N0impPR1x9epvozwk1oQaMdcxzWBwekHw$ 
Contact: Dr. Shibashis Guha <shibashis at tifr.res.in> <shibashis at tifr.res.in>
--------------------------------------------------------------------------------------------------------------


--------------------------------------------------------------------------------------------------------------
* Position in France:
Location: LMF, ENS Paris-Saclay (Laboratoire Methodes Formelles)
Duration: 1 year
Job offer details:
https://urldefense.com/v3/__https://lsv.ens-paris-saclay.fr/*doyen/post-doc-offer--IFI_CEF_25_20.pdf__;fg!!IBzWLUs!UyUqD3y-XUa5vA_PryN9pSQd6KTtWPZwZeb4t4UNSCQoK8Uw0VhYWa0YZw32m5kxqStTz2N0impPR1x9epvozwk1oQaMdcxzxJmPXzM$ 
!! Only available to non-French scientists !!
Contact: Dr. Laurent Doyen <laurent.doyen at lmf.cnrs.fr>
<laurent.doyen at 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 at tifr.res.in) and Laurent Doyen (
laurent.doyen at 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20260119/3e9a84b8/attachment-0001.htm>