Dear colleagues, A doctoral position is open on SYNthesis in PArametric TImed games with Concurrency and data, co-supervised by Laure Petrucci (LIPN, University Paris 13, France) and Jaco van de Pol (Aarhus University, Denmark).
Detailed information is available at: https://emploi.cnrs.fr/Offres/Doctorant/UMR7030-LAUPET0-001/Default.aspx?lang=EN The deadline for applications is 10 June 2022. However, the applications will be processed on a first-come first-served basis until position is filled. Best regards, -- ---------------------------------------------------------------------- Laure Petrucci [email protected] LIPN, CNRS UMR 7030 Institut Galilée - Université Paris 13 99 Avenue Jean-Baptiste Clément, F-93430 Villetaneuse, FRANCE tel:[+33 1]/[01] 49 40 28 05 (sec: 35 90) fax:[+33 1]/[01] 48 26 07 12 tel (IUT):[+33 1]/[01] 49 40 37 41 ---------------------------------------------------------------------- ---- [[ 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] ]]
