<div dir="ltr"><div><br></div><div>We invite applications of motivated and research-focused individuals to </div>carry out research on Petri nets and their extensions as part of the NCN <br>project "Data-enriched models of computation". The project aims at <br>advancing theoretical foundations at the borderline  between automata <br>theory, concurrency and formal verification. The successful candidate <br>will be hosted by the automata theory group at the University of Warsaw, <br>offering a vibrant working atmosphere, and exciting and challenging <br>research problems.<br><br>**************************************************************************<br>- Application deadline: November 30, 2022<br>- Starting date: flexible<br>- Duration: one year, possible extension to another year<br>- Principal investigator: Slawomir Lasota  (<a href="https://urldefense.com/v3/__http://www.mimuw.edu.pl/*sl__;fg!!IBzWLUs!Teyogg7Xi7WiQvgI177N8amJu29J6mt7iUfhFa5eIgg7cjoBRFFDfPKjLQmW7vXJV6WdpQ_pb3RJ2vwIv1akIHwe9uuYicML7w$">www.mimuw.edu.pl/~sl</a>)<br>- Contact: <a href="mailto:sl@mimuw.edu.pl">sl@mimuw.edu.pl</a><br>**************************************************************************<br><br><div>Further details: <a href="https://urldefense.com/v3/__https://www.mimuw.edu.pl/*sl/2022-postdoc-recr.txt__;fg!!IBzWLUs!Teyogg7Xi7WiQvgI177N8amJu29J6mt7iUfhFa5eIgg7cjoBRFFDfPKjLQmW7vXJV6WdpQ_pb3RJ2vwIv1akIHwe9uv7MAn2JA$">https://www.mimuw.edu.pl/~sl/2022-postdoc-recr.txt</a></div><div><br></div></div>