[isabelle] INRIA postdoc position

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.

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.