Please note that this newsitem has been archived, and may contain outdated information or links.
PhD student position in automated theorem proving, Paris (France)
Deadline: Sunday 29 October 2017
We are offering a PhD position on the integration of automated provers in proof assistants at the Laboratory on Specification and Verification (LSV) of the University Paris Saclay, starting 1st January 2018.
For more information, see
http://rewriting.gforge.inria.fr/grant.html.
Please note that this newsitem has been archived, and may contain outdated information or links.