************************************************************************** Fully-Funded Ph.D. Studentship in Analysis of Concurrent Systems Department of Mathematics, Informatics and Mechanics, University of Warsaw Project: "Automatic analysis of concurrent systems" Supervisor: Prof. Sławomir Lasota Contact: [email protected] Start: Autumn 2018
We offer 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 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. **************************************************************************
---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
