[TYPES] Post-doc position in formal verification of computer systems - Loria

[Jean-Yves Marion]

Post-doc position in formal verification of computer systems.
Loria – QSL group
France

Applications are invited for a Loria post-doctoral position from strong 
candidates working in formal methods, deductive or verification 
software.

The starting point is that for formal methods to be applied in 
practice, they must combine a high degree of automation with facilities 
for user interaction at a meaningful level of abstraction, and they 
must be cost-effective. The successful candidate will be expected to 
engage research in combinations of deductive or verification software. 
The goal is to provide for a language and a framework enabling 
developers to verify their designs using combinations of deductive 
tools. Comparable approaches include the SAL framework developed at 
SRI.
This position offers the oportunity to carry out research in both 
theoretical and practical aspects of formal methods.
The sucessful candidate will work at Loria in the QSL group, « Qualité 
et sûreté des logiciels ». Loria is one of the most important computer 
science laboratory in France, see www.loria.fr. The QSL group includes 
several research teams working on formal methods in computer science, 
see qsl.loria.fr.
Applicants should submit a curriculum-vitae, a statement of research 
and names of references.
The closing date for receipt of applications is 30 June 2004. Further 
details are available at qsl.loria.fr or by email request to 
Jean-Yves.Marion at loria.fr or Stephan.Merz at loria.fr
Potential candidates should send their application by email (preferred) 
or standard mail to
Chantal Llorrens
LORIA,
BP 239
54506 Vandoeuvre lès Nancy Cedex
France
email : Chantal.Llorens at loria.fr


-----
Jean-Yves Marion
Ecole Nationale Supérieure des Mines de Nancy
Loria-INPL
BP 239
54506 Vandoeuvre lès Nancy Cedex
France
http://www.loria.fr/~marionjy/