[TYPES/announce] PhD position at Inria Rennes

[Alan Schmitt]

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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 528 bytes
Desc: not available
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20180416/0e7dfba1/attachment.asc>