The computer science laboratory of the university of Bordeaux (LaBRI) and the computer science laboratory of ENS Paris-Saclay (LSV) are jointly seeking a postdoctoral researcher funded by the ANR project BraVAS on the formal verification of vector addition systems and extensions.
Candidates with experience in logic, automata, formal verification and algorithmics of the verification are encouraged to apply. The position is full-time for a fixed term of one or two years. The first year will be at the LSV, and the second year at the LaBRI. The BraVAS project is presented in full details on the following website http://bravas.labri.fr/documents.html For inquiries, contact the principal investigator, Jérôme Leroux, at [email protected] -- Jérôme LEROUX http://www.labri.fr/~leroux LaBRI, Domaine Universitaire, Talence, France Tel : +33 54000 3509 Fax : +33 54000 6669 ---- [[ 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] ]]
