Stream: Archive Mirror: Isabelle Users Mailing List

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


view this post on Zulip Email Gateway (Aug 22 2022 at 19:20):

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


Last updated: Mar 29 2024 at 04:18 UTC