[ 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

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

Reply via email to