[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
signature.asc
Description: PGP signature