coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Post-doc offer: ``A Formally Verified Symbolic Interpreter for the CoLiS Language''

From: Claude Marché <Claude.Marche AT inria.fr>
To: "types-announce AT lists.seas.upenn.edu" <types-announce AT lists.seas.upenn.edu>, Why3 Club <why3-club AT lists.gforge.inria.fr>, coq-club AT inria.fr, cl-isabelle-users AT lists.cam.ac.uk, all AT cost-ic0701.org, frama-c-discuss AT lists.gforge.inria.fr
Subject: [Coq-Club] Post-doc offer: ``A Formally Verified Symbolic Interpreter for the CoLiS Language''
Date: Mon, 8 Jan 2018 15:56:44 +0100

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 |

[Coq-Club] Post-doc offer: ``A Formally Verified Symbolic Interpreter for the CoLiS Language'', Claude Marché, 01/08/2018