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