[TYPES/announce] Post-doc offer: ``A Formally Verified Symbolic Interpreter for the CoLiS Language''

[Claude Marché]

Hello and happy new year to all,

I'd like to advertise a postdoc position in Orsay, France. The job is
about the design of ``A Formally Verified Symbolic Interpreter for the
CoLiS Language'', and is funded by the CoLiS project
(http://colis.irif.univ-paris-diderot.fr/)

See details at https://jobs.inria.fr/public/classic/en/offres/2018-00228

Do not hesitate to forward this email to any appropriate candidates or
mailing lists.

Best regards,

- Claude Marché

-- 
Claude Marché                          | tel: +33 1 69 15 66 08
INRIA Saclay - Île-de-France           |
Université Paris-sud, Bat. 650         | http://www.lri.fr/~marche/
F-91405 ORSAY Cedex                    |