--- layout: fc_discuss_archives title: Message 15 from Frama-C-discuss on March 2019 ---
A post-doctoral position is available in the Caramba team (https://caramba.loria.fr/) at Inria Nancy - Grand Est. The goal of this project is to formally prove algorithms and code used by the GNU MPFR library (https://www.mpfr.org/). Candidates should have a strong background in formal proof *and* in the C programming language. Applications should be submitted before June 6 at <https://jobs.inria.fr/public/classic/fr/offres/2019-01430>. Paul Zimmermann