Email Gateway (Jun 22 2021 at 13:20): Email Gateway (Jun 22 2021 at 13:20):From: Thomas Genet <thomas.genet@irisa.fr>
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.
Thomas
Last updated: Jan 04 2025 at 20:18 UTC