Logic List Mailing Archive

PhD student position in automated theorem proving, Paris (France), Deadline 29 Oct 2017

Hello,

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.

Deadline for application: 29 October 2017.

Deadline for PhD start: 1st January 2018.

More details on http://rewriting.gforge.inria.fr/grant.html .

Do not hesitate to forward this mail to anyone who might be interested.

Best regards,

Frédéric Blanqui and Guillaume Burel.

--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam