[Agda] PhD offer on Integrating automated provers in proof assistants
Frédéric Blanqui
frederic.blanqui at inria.fr
Mon Jul 3 11:25:09 CEST 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.
More information about the Agda
mailing list