Post-doc position in Nantes, France

An 18-month Post-Doctoral position is available at the University of Nantes, France, in the Coverif project, about Constraint Programming (CP) with/for Abstract Interpretation (AI). http://www.anr-coverif.fr/

The main task of the post-doc will be to develop the AbSolute solver, which relies on abstract domains, as defined in Abstract Interpretation, for constraints. We are looking for highly motivated researchers with a strong background either in constraint programming (in particular global constraints) or in abstract interpretation/verification (in particular numerical or logical domains). The AbSolute solver is in OCaml, thus, a knowledge of functional programming would be a plus.

Contact Charlotte Truchet (charlotte.truchet@univ-nantes.fr) for more information.