[FM-India] PhD and post-doc positions available at LSV (CNRS & ENS Cachan)

[Madhavan Mukund]

 ----- Forwarded message from bouyer at lsv.ens-cachan.fr -----
     Date: Thu, 13 Jun 2013 10:41:59 +0200
     From: Patricia Bouyer-Decitre <bouyer at lsv.ens-cachan.fr>
  Subject: [gdr-im] PhD and post-doc positions available at LSV (CNRS & ENS Cachan)
       To: gdr-im at gdr-im.fr
 
 
 PhD and postdoc positions at LSV (CNRS & ENS Cachan, France)
 
 We have several PhD and post-doc funded positions available within two  
 EU projects:
 	- ERC starting grant EQualIS 
 	(http://www.lsv.ens-cachan.fr/~bouyer/equalis/)
 	- FP7 FET project Cassting (http://www.cassting-project.eu/)
 
 These projects focus on the development of complete frameworks for
 quantitative verification and synthesis of complex systems. This
 covers the following topics:
 	- temporal logics
 	- timed automata
 	- robustness
 	- games for synthesis
 	- equilibria in non-zero-sum games
 
 These projects are located at Laboratoire Specification &
 Verification (http://www.lsv.ens-cachan.fr/), the computer-science
 laboratory of ENS Cachan. Cachan is located 5km south of Paris.
 
 Interested candidates are invited to contact the principal
 investigators: Patricia Bouyer-Decitre <bouyer at lsv.ens-cachan.fr> and
 Nicolas Markey <markey at lsv.ens-cachan.fr>
 
 ----- End forwarded message -----