coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] PhD offer on Integrating automated provers in proof assistants

From: Frédéric Blanqui <frederic.blanqui AT inria.fr>
To: coq-club AT inria.fr
Cc: Guillaume Burel <guillaume.burel AT ensiie.fr>
Subject: [Coq-Club] PhD offer on Integrating automated provers in proof assistants
Date: Mon, 3 Jul 2017 11:24:21 +0200

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.

[Coq-Club] PhD offer on Integrating automated provers in proof assistants, Frédéric Blanqui, 07/03/2017