Email Gateway (Aug 18 2022 at 09:44): Email Gateway (Aug 18 2022 at 09:44):From: Frederic Blanqui <blanqui@loria.fr>
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.
Last updated: Nov 21 2024 at 12:39 UTC