[TYPES/announce] postdoc position at Inria Rennes

[Alan Schmitt]

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
-------------- 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/20180305/c66eb6ad/attachment.asc>