************************************************************************** Post-doc position 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: anywhen in 2019 Duration: 1 year
We offer a post-doc position within the Warsaw Group of Automata Theory, supported by a grant of Polish National Science Center held by prof. Sławomir Lasota. 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 beg. of 2019 or soon afterwards. **************************************************************************
---- [[ 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] ]]
