The Coq mailing list

[Alan Schmitt <alan.schmitt AT inria.fr>]

The CELTIQUE team (https://team.inria.fr/celtique/) has a PhD position
available on the definition of a rule format to specify formal semantics
and derive certified static analyzers in Coq.

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

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-03: 409.46, 2017-03: 407.18

Attachment: signature.asc
Description: PGP signature