---------- Forwarded message ---------
From:
Frédéric Blanqui <frederic.blanqui@inria.fr>Date: Fri, Mar 22, 2019, 17:18
Subject: Postdoc proposal in Paris on Proof interoperability with Mizar
Dear colleagues,
Deducteam is looking for young researchers knowing Mizar well, 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 translating Mizar
proofs to other provers like Coq, Lean, PVS, etc.
They have until April 6 to candidate on
https://jobs.inria.fr/public/classic/en/offres/2019-01501, but it is
better to contact Gilles Dowek or 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/