<div dir="ltr"><div><br></div><div>We invite applications of motivated and research-focused individuals to </div>carry out research on mathematical models of concurrent systems as part <br>of the NCN project "Frontiers of automatic analysis of concurrent systems". <br>The project aims at advancing theoretical foundations at the borderline <br>between automata theory, concurrency and formal verification. <br><br>The successful candidate will be hosted by the automata theory group <br>at the University of Warsaw, offering:<br><br>- a vibrant working atmosphere, <br>- exciting and challenging research problems, <br>- competitive salary,<br>- collaborations worldwide.<br><br>**************************************************************************<br>- Application deadline: May 25, 2023<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!S4XLjs3gkFcYkQ3PSrdNZaHGAp4ZtdvOy0saU95hcu5Y23A8l_anoTyRGRYHrXRj_2nqYyeOktcv08Hmc7VT-PQlTbKSPNWbYQ$">www.mimuw.edu.pl/~sl</a>)<br>- Contact: <a href="mailto:sl@mimuw.edu.pl">sl@mimuw.edu.pl</a><br>**************************************************************************<br><br>The ideal candidate is expected to have:<br><br>- PhD degree or equivalent in computer science or math<br>- solid background in formal methods or automata theory<br>- excellent publication record<br>- strong motivation for research work in foundations of computer science<br>- advanced skills in written and spoken English.<br><br>For details of application and recruitment procedure, please contact <br><div>Sławomir Lasota at <a href="mailto:sl@mimuw.edu.pl">sl@mimuw.edu.pl</a></div><div><br></div></div>