Stage M2
Il y a 4 semaines
Lyon, Auvergne-Rhône-Alpes, France
Ensimag Alumni
Temps plein
Gratuit avec email ou Google
Enregistrez cette offre et organisez votre recherche
Créez un compte gratuit pour enregistrer des offres d'emploi, créer des alertes et revenir à cette liste depuis votre tableau de bord.
Gratuit avec email ou Google
En continuant, vous acceptez nos Conditions d’utilisation & Politique de confidentialité.
Postée le 12 oct.
Lieu : Lyon
• Contrat : Stage
• Rémunération : gratification €
Description du poste
Les problèmes de satisfaction de contraintes, ou CSP (Constraint Satisfaction Problems), constituent une famille de problèmes importante en informatique fondamentale avec des applications variées, notamment en aide à la décision. Très schématiquement, pour les CSP dicrets comme continus, les méthodes de résolution les plus utilisées sont de type « branch-and-prune », aussi appelées « branch-and-propagate ». Dans ce projet nous nous intéresserons à l’étape de branchement, visant à choisir une variable et à partitionner son domaine, l’angle choisi étant de transposer, d’adapter et d’évaluer les heuristiques connues pour être efficaces pour les CSP discrets, au cas des CSP continus. Plus de détails et une version en anglais ici : https://perso.ens-lyon.fr/nathalie.revol/CONFIANTE/internship2027.pdf
Profil recherché
Niveau M2. Compétences — en informatique et en particulier programmer en C++ — aimer les mathématiques Voir le fichier joint Pour Postuler Contacter par mail Christine.
Solnon@insa-lyon.fr et Nathalie.
Revol@ens-lyon.fr
• Contrat : Stage
• Rémunération : gratification €
Description du poste
Les problèmes de satisfaction de contraintes, ou CSP (Constraint Satisfaction Problems), constituent une famille de problèmes importante en informatique fondamentale avec des applications variées, notamment en aide à la décision. Très schématiquement, pour les CSP dicrets comme continus, les méthodes de résolution les plus utilisées sont de type « branch-and-prune », aussi appelées « branch-and-propagate ». Dans ce projet nous nous intéresserons à l’étape de branchement, visant à choisir une variable et à partitionner son domaine, l’angle choisi étant de transposer, d’adapter et d’évaluer les heuristiques connues pour être efficaces pour les CSP discrets, au cas des CSP continus. Plus de détails et une version en anglais ici : https://perso.ens-lyon.fr/nathalie.revol/CONFIANTE/internship2027.pdf
Profil recherché
Niveau M2. Compétences — en informatique et en particulier programmer en C++ — aimer les mathématiques Voir le fichier joint Pour Postuler Contacter par mail Christine.
Solnon@insa-lyon.fr et Nathalie.
Revol@ens-lyon.fr