--- layout: fc_discuss_archives title: Message 3 from Frama-C-discuss on January 2018 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Post-doc offer: ``A Formally Verified Symbolic Interpreter for the CoLiS Language''



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                    |