Email Gateway (Aug 22 2022 at 16:35): Email Gateway (Aug 22 2022 at 16:35):From: Claude Marché <Claude.Marche@inria.fr>
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,
Last updated: Apr 16 2024 at 16:19 UTC