2 sujets de Master 2 Recherche au CRIL - Lens

Centre de Recherche en Informatique de Lens – CRIL, UMR CNRS 8188

Université d’Artois, Lens

Deux sujets de Master 2 Recherche sont disponibles :

1 – Fouille de données : approches déclaratives pour l’énumération de motifs intéressants

2 – Satisfiabilité : simplification de formules booléennes

Contacts : Lakhdar Sais (sais@cril.fr, http://www.cril.fr/)

Durée envisagée : 4 mois (extension possible)

Gratification : oui

Profil recherché :

Etudiant en Master 2 Informatique. Bonnes aptitudes en programmation…

Envoyez un CV, des lettres de recommandation (ou les coordonnées des personnes à contacter) et la copie du relevé de notes de l’année en cours.

N’hésitez pas à nous contacter pour de plus informations sur les sujets.