[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]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.
