coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] postdoc position at Inria Rennes

From: Alan Schmitt <alan.schmitt AT inria.fr>
To: Alan Schmitt <alan.schmitt AT inria.fr>
Subject: [Coq-Club] postdoc position at Inria Rennes
Date: Mon, 05 Mar 2018 10:27:38 +0100

The CELTIQUE team (https://team.inria.fr/celtique/) has a postdoc
position available on the compilation of recursive functions to
inductive definitions in Coq.

To see details and to apply, please go to
https://jobs.inria.fr/public/classic/en/offres/2018-00432.

Do not hesitate to forward this email to any appropriate candidate or
mailing list.

Best regards,

Alan Schmitt

--
OpenPGP Key ID : 040D0A3B4ED2E5C7
Monthly Athmospheric CO₂, Mauna Loa Obs. 2018-01: 407.98, 2017-01: 406.13

Attachment: signature.asc
Description: PGP signature

[Coq-Club] postdoc position at Inria Rennes, Alan Schmitt, 03/05/2018