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.