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 (firstname.lastname@example.org) for more information.