[isabelle] Postdoc proposal in Paris on Proof interoperability with Isabelle




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/






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