The Coq mailing list

[paul zimmermann <Paul.Zimmermann AT inria.fr>]

       Dear all,

a post-doctoral position will be available in my group (starting October 2018)
on the formal proof of the GNU MPFR library (www.mpfr.org). Candidates should
have experience with a least one formal proof assistant. (Experience with
computer arithmetic and/or MPFR is welcome but not required.)

If you know good potential candidates, please tell them to write to me.

Thank you,
Paul Zimmermann

PS: I am not subscribed to this list.