[Avispa-users] postdoc position at loria

[Michael Rusinowitch]

Postdoctoral position at LORIA Nancy:
------------------------------------

A  postdoctoral position is available  
starting from january 2006 (can be renewed for a second year).
The researcher will work in Cassis project 
and will investigate the application 
of automated proof systems developed by Cassis to testing 
security policies for embedded systems in the context of 
an industrial project with LEIRIOS and  Axalto. 

For application please send a CV, brief statement, 
and  addresses of references to: 
Michael Rusinowitch 
E-mail: " rusi at loria.fr "
Web page: http://www.loria.fr/equipes/cassis/