Msc internship in the Paris area

Stream: job postings

[Floris van Doorn]

I am happy to announce an internship opportunity in the Paris area of M1-M2 level. It is on developing a translation between Lean and Dedukti (https://deducteam.github.io/). Dedukti is a logical framework that admits translations from many proof assistants.

For more information, see the full job ad: https://blanqui.gitlabpages.inria.fr/lean2dk.html
Please contact @Frédéric Blanqui or me if you have any questions.

[Stanislas Polu]

And you'll get to work with Gilles Dowek which is the dream job!