Fwd: Postdoc proposal in Paris on Proof interoperability with Mizar

---------- Forwarded message ---------
From: Frédéric Blanqui <[email protected]>
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/