Postdoctoral position at Verimag:
---------------------------------
Verimag is opening an eighteen month post-doctoral research position
on embedded control system verification. The researcher will be
integrated in the "Proofer" research project that will start in early
2006. This industrial project is held in cooperation between RATP
(Paris Subway Authority), Alcatel Transport and Prover Technology.
The research consists of designing a generic model-checking
methodology adapted to the model-checking of Alcatel signalling
systems over the Paris subway stations. This will require:
- designing a faithful generic model of stations, showing that the
model is indeed unbiased (it satisfies the instructions given to the
drivers but does not forbid accidents),
- designing generic observers of required safety properties,
- and finding auxiliary properties of the signalling systems allowing
proofs to be efficiently decomposed.
Please send your CV and motivation letter to:
mailto:[log in to unmask]
http://www-verimag.imag.fr/~caspi/
--
-------------------------------------
***
(un)subscribe the verimag-news mailing list by sending a mail to [log in to unmask]
with the following subject
- for subscribing : sub verimag-news
- for unsubscribing : uns verimag-news your-email-to-be-unsubscribed
- for getting help : help
|