[isabelle] post-doctoral position available
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.
This archive was generated by a fusion of
Pipermail (Mailman edition) and