--- layout: fc_discuss_archives title: Message 16 from Frama-C-discuss on March 2018 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] 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. (Experience with
computer arithmetic and/or MPFR is welcome but not required.)

If you are interested, please contact me.

Thank you,
Paul Zimmermann