PhD position in concurrency theory We offer a fully-funded PhD position within the NCN grant Frontiers of automatic analysis of concurrent systems. The project aims at advancing theoretical foundations at the borderline between automata theory, concurrency and verification, but anticipates also development of prototype analysis tools. A successful candidate is expected to enroll into the PhD program in the University of Warsaw. ************************************************************************** - Starting date: Oct 1, 2022 (or earlier) - Project duration: 4 years - Project leader: Sławomir Lasota (www.mimuw.edu.pl/~sl) - Contact: sl@mimuw.edu.pl ************************************************************************** We offer: - very competitive salary - vibrant working atmosphere in the automata group at Warsaw - exciting and challenging research problems - scientific collaborations worldwide. The successful candidate is expected to have: - Master's degree or equivalent in computer science or math - solid background in formal methods and automata theory - strong motivation for research work in foundations of computer science - advanced skills in written and spoken English.