<div dir="ltr"><br>PhD position in concurrency theory, University of Warsaw<br><br>**************************************************************************<br>Fully-Funded 4-year Ph.D. position in automata theory<br>Department of Mathematics, Informatics and Mechanics, University of Warsaw<br>Project: "Frontiers of automatic analysis of concurrent systems" funded by NCN<br>Principal investigator: Prof. Sławomir Lasota  (<a href="https://urldefense.com/v3/__http://www.mimuw.edu.pl/*sl__;fg!!IBzWLUs!GLJkhlvh4of-oECqW9D3qenJPM0LZpSxW-R36qAtkltVcopJeR7gyE0mX0ECMYjH--NPA_4sVndI9g$">www.mimuw.edu.pl/~sl</a>)<br>Contact: <a href="mailto:sl@mimuw.edu.pl">sl@mimuw.edu.pl</a><br>Start: Oct 1, 2022 (or earlier)<br>Application deadline: April 15, 2022<br>**************************************************************************<br><br>We offer a fully-funded PhD position within the NCN grant "Frontiers of automatic analysis <br>of concurrent systems". The project aims at advancing theoretical foundations at the <br>borderline between automata theory, concurrency and verification, but anticipates<br>also development of prototype analysis tools. A successful candidate is expected<br>to enroll into the PhD program in the University of Warsaw.<br><br>We offer:<br><br>• very competitive salary<br>• vibrant working atmosphere in the automata group at Warsaw<br>• exciting and challenging research problems<br>• scientific collaborations worldwide.<br><br>The successful candidate is expected to have:<br><br>• Master’s degree or equivalent in computer science or math<br>• solid background in formal methods and automata theory<br>• strong motivation for research work in foundations of computer science<br>• advanced skills in written and spoken English.<br><div><br></div></div>