[isabelle] Post-doctoral position, Inria Nancy - Grand Est

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

Paul Zimmermann

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.