--- layout: fc_discuss_archives title: Message 3 from Frama-C-discuss on January 2018 ---
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 |