L'offre que vous souhaitez consulter n'est plus valide.
Ce poste a été pourvu.


STAGE - Résolution avancée de problèmes de configuration (H/F)



Référence : 515747_1603807298
Date de dépot : 27/10/2020
Entreprise : DASSAULT SYSTEMES

Descriptif
Description : Imaginez demain...



Au sein des équipes R&D Technologies chargées de fournir à l'ensemble de Dassault Systèmes les composants logiciels de calcul, modélisation, et visualisation, l'équipe "Constraint Solver" a pour mission de développer une partie des solveurs mathématiques fondamentaux des produits de Dassault Systèmes.



L'équipe est en particulier en charge d'un solveur qui résout les problèmes SAT (problèmes de satisfiabilité propositionnelle sur des variables booléennes). Ce solveur SAT est le cœur algorithmique du moteur de configuration des solutions Enovia qui permet aux entreprises de gérer la conception de produits hautement configurables (produits personnalisés par exemple). Dans ce configurateur, un produit est décrit avec toutes ses variantes possibles et les règles garantissant la compatibilité des variantes entre elles. Le solveur SAT permet de trouver en temps réel les produits possibles selon les critères de l'utilisateur.



Vos futurs défis…



Dans beaucoup d'applications, on souhaite associer une valeur à une variante donnée (longueur, coût, etc.). Naturellement, un utilisateur voudra définir des formules arithmétiques pour spécifier les solutions qui l'intéressent.



La modélisation actuelle (sous forme de problème SAT) ne permet pas l'ajout de cette fonctionnalité, c'est pourquoi l'équipe envisage plusieurs pistes pour répondre au besoin. L'une des approches consisterait en la modélisation du problème en « Problème de Satisfiabilité Modulo Théories (SMT) », et la résolution de ce type de problème (fortement liée aux solveurs SAT).





Le but de ce stage est d'étudier les approches possibles pour répondre au besoin (bibliographie, recherche sur les solveurs SMT, proposition d'une solution et implémentation).


Profil recherché
Profil recherché : Vos atouts pour réussir...



Etudiant(e) préparant un diplôme de niveau Bac+5, Ecole d'ingénieurs ou Master Universitaire



Spécialité(s)/ Option(s) souhaitée(s) : Mathématique / Informatique





*
* Connaissances en mathématiques appliquées / informatique théorique
*
* C++, programmation Objet
*
* Autonomie, rigueur, envie de se former, créativité





Type de contrat : sous convention de stage uniquement, d'une durée de 6 mois à compter d'Avril 2021.

Niveau d'étude : Bac + 3 : licence
Lieu de la mission : Île-de-France - Velizy
Poste(s) disponible(s) : 1
Poste de cadre : Suivant Profil
Contrat : Stage
Début de la mission : 25/11/2020

Entreprise
Nom de l'entreprise : DASSAULT SYSTEMES
Site Web : https://careers.3ds.com/
Contact : Madame Hulot Céline
Adresse : 10 Rue Marcel Dassault
78140 Vélizy-Villacoublay
France



L'offre que vous souhaitez consulter n'est plus valide.
Ce poste a été pourvu.