[TYPES/announce] Postdoc position in Orsay, France

[Sylvie Boldo]

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