[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Hello,
I would like to advertise a postdoc position available in Orsay, France.
The goal is to develop formal proofs about the floating-point evaluation of
polynomials and is within the FastRelax project
http://fastrelax.gforge.inria.fr/
To see details and to apply, please go to
https://jobs.inria.fr/public/classic/en/offres/2018-00418
Do not hesitate to forward this email to any appropriate candidate or
mailing list.
Best regards,
Sylvie Boldo
--
Sylvie Boldo, Toccata project, Inria Saclay - Île-de-France
PCRI, Bât. 650 - Université Paris-Sud - 91405 ORSAY Cedex