Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] post-doctoral position available

Email Gateway (Aug 22 2022 at 16:59):

From: paul zimmermann <Paul.Zimmermann@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, 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

Last updated: Apr 24 2024 at 20:16 UTC