PhD student position in analysis of concurrent systems, Warsaw (Poland)

The Department of Mathematics, Informatics and Mechanics, at the University of Warsaw offers a fully-funded Ph.D. studentship, supported by a grant of Polish National Science Center help by prof. Sławomir Lasota, within the Warsaw Group of Automata Theory. The project "Automatic analysis of concurrent systems" aims at advancing foundations of analysis of concurrent systems, focusing on the model of Petri nets (also known as vector addition systems) and their extensions. A successful candidate is expected to contribute mainly to mathematical aspects of the planned research (on the borderline between automata theory, concurrency theory, and complexity theory), but the project anticipates also a development of a prototype analysis tool.

The position is available from 1 Sept 2018 or soon afterwards, and will provide a scholarship of at least 54.000 PLN (around 12.500 euro) per year during three years, with a possibility of extension to the fourth year. The prospective PhD student is expected to engage in a small amount of teaching.