[bull-ia] CHOCO SLANG: Ph.D. position on CSP-based Modeling Language for Configuration Problems

Le CGI d‘IMT Mines Albi et l’équipe TASC d‘IMT Atlantique recrutent un.e doctorant.e en Génie Industriel et Intelligence Artificielle à l’automne 2019.

Sujet : Concevoir, spécifier, coder et tester un outil de formalisation de problèmes de configuration sous la forme d‘un CSP et permettant de résoudre ce problème à l’aide de moteurs de résolution (tel que Choco Solver).

Environnement de travail :

  • 18 mois sur Albi + 18 mois sur Nantes avec 1 semaine dans chaque site tous les 2-3 mois.
  • 1800 E brut / mois + possibilité de bonus d‘enseignement
  • caution industrielle de l’entreprise Cosling

Compétences requises :

  • compétences avancées en programmation Java
  • compétences requises en CSP et recherche opérationnelle
  • intérêt marqué pour les systèmes à base de connaissances et les outils d‘aide à la décision
  • intérêt pour la combinaison travail théorique et travail appliqué
  • bonne communication écrite et orale en français et anglais

Équipe d‘encadrement :

Elise Vareilles, Chrales Prud’Homme, Michel Aldanondo et Jean-Guillaume Fages (Cosling)

Plus de détails dans le pdf joint.

Mines Albi
Élise VAREILLES
Maitre-Assistant – HDR
Responsable axe de recherche ORKID
05 63 49 30 92
Campus Jarlard
81013 Albi CT Cedex 09
Site web Mines
                    AlbiTwitter Mines AlbiFacebook Mines
                    AlbiLinkedIn Mines
                    AlbiBlog Mines Albi
Une école de l’IMT