Deux sujets de thèse financés au CRIL (Lens, France)

Bonjour,

Deux sujets de thèse portant sur la programmation par contraintes sont proposés par le CRIL UMR CNRS 8188 (Lens, France).
Les thèmes de ces deux sujets sont :
- Intégration de paradigmes de contraintes : http://www.cril.univ- artois.fr/~lecoutre/phdPajero1.pdf
- parallélisation de solveurs de contraintes : http://www.cril.univ- artois.fr/~lecoutre/phdPajero2.pdf

Le financement sera assuré par une allocation de recherche dans le cadre d’un projet ISI (Innovation Stratégique Industrielle) supporté par OSEO.
Merci de diffuser cette annonce aux étudiants potentiellement intéressés.

Cordialement,

Christophe Lecoutre