PhD student position in automata theory, Warsaw (Poland)

A Fully-Funded Ph.D. position in automata theory is available in the Department of Mathematics, Informatics and Mechanics, University of Warsaw. The PhD position is within the NCN grant "Data-enriched modelsof computation". 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, 2020 or soon afterwards.
Project duration: 4 years.