[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.
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