--- layout: fc_discuss_archives title: Message 16 from Frama-C-discuss on March 2018 ---
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 are interested, please contact me. Thank you, Paul Zimmermann