Email Gateway (Aug 22 2022 at 19:23): Email Gateway (Aug 22 2022 at 19:23):From: Frédéric Blanqui <frederic.blanqui@inria.fr>
Deducteam is looking for young researchers knowing Isabelle well, and
having their PhD since less than 2 years or who are going to get it by
the end of the year, and who are interested in working on exporting
Isabelle proofs to other provers like Coq, Lean, PVS, etc. by using Dedukti.
You have until April 6 to candidate on
https://jobs.inria.fr/public/classic/en/offres/2019-01501, but it is
better to contact me well in advance first.
Frédéric Blanqui.
http://rewriting.gforge.inria.fr/
Deducteam web site: http://deducteam.gforge.inria.fr/
Dedukti web site: https://deducteam.github.io/
Logipedia web site: http://logipedia.inria.fr/
Last updated: Nov 21 2024 at 12:39 UTC