Two assistant professor positions (related to formal verification) in computer science are available at LSV, ENS Cachan, France.
Note that the candidates must have been registered in the french national list of qualification. For more information, 1) goto http://www.lsv.ens-cachan.fr/~phs/postes-2008.php and/or 2) contact Paul Gastin ([EMAIL PROTECTED]), Department director Philippe Schnoebelen ([EMAIL PROTECTED]), Laboratory director Serge Haddad ---- [[ 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] ]]
