[TYPES/announce] Post-doc position at VERIMAG, Grenoble, France

Radu Iosif Radu.Iosif at imag.fr
Thu Jan 13 12:05:49 EST 2011

A *post-doc position* is *now open* at the VERIMAG laboratory (Grenoble, 

The research, funded by the ASOPT project (http://asopt.inrialpes.fr/), 
will focus on newer methods for static analysis and invariant generation 
by abstract interpretation, including but not limited to :


      Use of SMT-solving.


      Reduction to optimization or quantifier elimination problems.


      Alternative iteration schemes (e.g. policy iteration).

    * More generally, any topic covered by the ASOPT project.

The post-doc will be supervised by Dr David Monniaux, research associate 
at CNRS.



VERIMAG (http://www-verimag.imag.fr/; director: Nicolas Halbwachs) is a 
joint laboratory between the French national center for scientific 
research (CNRS) and the University of Grenoble. It is specialized in 
methods for designing and analyzing safe computing systems, including 
programming language design (e.g. Lustre) and verification techniques 
(both abstract interpretation and model-checking have roots in Grenoble).

VERIMAG is located in Gières, a suburb of Grenoble, a city of 
approximately 430000 inhabitants in the French Alps. Grenoble is a 
first-grade academic center, with numerous laboratories, including the 
international organizations ESRF (European synchrotron radiation 
facility) and the ILL (Institut Laue-Langevin). In addition, Grenoble is 
surrounded by mountains and skiing resorts, and is an internationally 
renowned center for paragliding.

About the position:

The post-doc will be employed as a temporary contract worker by CNRS, 
for one year.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20110113/71a1b179/attachment.html>

More information about the Types-announce mailing list