***************************************************************************************** Fully-Funded Ph.D. position in automata theory Department of Mathematics, Informatics and Mechanics, University of Warsaw Project: "Data-enriched models of computation" funded by NCN Supervisor: Prof. Sławomir Lasota Contact: [email protected] Start: Oct 2020
*Application deadline: June 14, 2020* ***************************************************************************************** We offer a fully-funded PhD position 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 • Project leader: Sławomir Lasota (www.mimuw.edu.pl/~sl) • Contact: [email protected] • *Application deadline: June 14, 2020* We offer: • competitive salary up to 60.000 PLN (around 13.500 euro) per year • 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 of 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.
---- [[ 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] ]]
