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.