[isabelle] post-doctoral position available

       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, for example Isabelle.
(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

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