[TYPES/announce] INRIA postdoc position

Frederic Blanqui blanqui at loria.fr
Fri Sep 29 07:20:07 EDT 2006


A one-year INRIA postdoc position is available to work on the CoLoR project. 
The salary is 2150 ¤ gross per month. The postdoc must begin before December 
1st. The candidates must have a good knowledge of some proof assistant like 
Coq, Isabelle, Agda, etc. See http://color.loria.fr/ for details.


More information about the Types-announce mailing list