Job opportunity

The constraint group of the Laboratoire d'Informatique de Nantes
Atlantique (LINA, UMR CNRS), located at the École des Mines de
Nantes
(EMN), is seeking candidates for a one year (2*6 months) research
position in automatized encoding and reformulation of Constraint
Networks. This position should begin in February 2008. It is part of
the national research project << Constraint Acquisition aNd Automatic
Reformulation >> (CANAR), which began in January 2007 (ANR CANAR
61007).
Eligibility: The applicant must have a Ph.D. or four years of
research experience since having obtained a university degree and
have expertise in relevant areas, such as constraint reasoning,
encoding of practical problems with solvers, or links between
machine
learning theory and constraint programming. Perfect skills in Object
Programming are mandatory.

Job description: The researcher will work with staff members and
project members in the course of carrying out research related to
machine learning-based improvement of constraints networks, and
generic schemes for reformulating global constraints. The main
objective of the work is to provide new exploitable tools for people
who are experts in computer science, but not experts in Constraint
Programming. Experiments will be performed using the Java constraint
programming solver Choco (http://choco-solver.net/).

Location: The constraint group at LINA (UMR CNRS at Nantes
University, Université de Nantes Atlantique) is one of the French
leading academic teams of constraint programming. It has about
fifteen researchers and one research engineer permanently working on
Choco. It is located at Nantes. For more information on this
position
please write to the local manager of the ANR Project CANAR at the
École des Mines de Nantes: Thierry.Petit@xxxxxx, or directly send
your application by post to Thierry Petit, École des Mines de
Nantes,
LINA FRE CNRS 2729, 4, rue Alfred Kastler, FR-44307, Nantes, France.
.

Relevant Pages

  • Postdoctoral position in Nantes, France
    ... The CoCoA (Continuous Constraints and Applications) team of the LINA (Computer ... Constraint programming provides a declarative and natural way of formulating ... The city of Nantes is ideally located, only two hours from Paris by TGV ...
    (sci.math.research)
  • PhD position (constraint and geometry)
    ... duration of a PhD in France) and no teaching is required. ... The constraint project from INRIA, ... Within the European project NetWMS the goal is to design ... Ecole des Mines de Nantes ...
    (comp.constraints)
  • CP news, vol 0, no 3, Oct 2004
    ... Constraint Programming News ... summary of important news in the area of constraint programming. ... venue of the annual CP conference, program and conference chairs, ...
    (comp.theory)
  • CP News, vol 0, no 2
    ... Constraint Programming News ... summary of important news in the area of constraint programming. ... venue of the annual CP conference, ...
    (comp.theory)
  • CPAIOR04 : LAST CALL FOR PAPERS
    ... International Conference on Integration of AI and OR Techniques ... Integration of AI and OR Techniques in Constraint Programming for Combinatorial ...
    (comp.theory)