<div dir="ltr">Postdoc position in automata theory, University of Warsaw<br><br>**************************************************************************<br>- Application deadline: March 31, 2022<br>- Starting date: As soon as possible<br>- Salary: 27.000 PLN per annum (very competitive in Poland)<br>- Duration: one year, possible extension to another year<br>- Project: "Data-enriched models of computation" funded by NCN<br>- Principal investigator: Prof. Sławomir Lasota  (<a href="https://urldefense.com/v3/__http://www.mimuw.edu.pl/*sl__;fg!!IBzWLUs!BtApIM-cXc3QIz-uFVhZyCjZ2BOhP7hAkMH_R2QVfeCgW11UeT8lSuTsD640A1V5VM0Mc321-Gz1Ew$">www.mimuw.edu.pl/~sl</a>)<br>- Contact: <a href="mailto:sl@mimuw.edu.pl">sl@mimuw.edu.pl</a><br>**************************************************************************<br><br>The project aims at advancing theoretical foundations at the borderline <br>between automata theory, concurrency and verification. We promise, except <br>for very competitive salary, a vibrant working atmosphere in the automata <br>group at the University of Warsaw, and exciting and challenging research <br>problems.<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 and automata theory<br>• Significant publication record<br>• Strong motivation for research work in foundations of computer science<br>• Advanced skills in written and spoken English.<br><br>To apply, please send your curriculum vitae to <a href="mailto:sl@mimuw.edu.pl">sl@mimuw.edu.pl</a>.<br><div><br></div></div>