coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Job offer: 3 year research engineer in static analysis of OCaml programs at Inria Rennes

From: Benoit Montagu <benoit.montagu AT inria.fr>
To: coq-club AT inria.fr
Subject: [Coq-Club] Job offer: 3 year research engineer in static analysis of OCaml programs at Inria Rennes
Date: Fri, 18 Jun 2021 11:23:41 +0200
Ironport-hdrordr: A9a23:SoR2WKHe+DAiG804pLqE98eALOsnbusQ8zAXPjNKOH5om6uj5qOTdZUgtSMc5wx/ZJhNo7q90cq7IE80l6QY3WB5B97LYOCMggaVxe9ZhrcKjwePJxHD

Dear community,

as part of a project between Inria and Nomadic Labs, we are offering a 3 year research engineer position, to work on static analysis for OCaml programs.
The position will start in October in the Celtique Inria research team, in the vibrant city of Rennes, France.
If you are a talented OCaml programmer, if you are interested in static analysis, or if you simply want to know more about this project, please contact me!

The detailed job description is here: https://jobs.inria.fr/public/classic/fr/offres/2021-03821

Please feel free to transfer this announce to people that you think could be interested.

-- Benoît

[Coq-Club] Job offer: 3 year research engineer in static analysis of OCaml programs at Inria Rennes, Benoit Montagu, 06/18/2021