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

Réf. 505009-27555443

Stage - Data / Mathématiques Appliquées

Localisation : Yvelines

Début : entre janvier et mars 2019
Durée : de 5 à 6 mois
Indem. : à définir

Dassault Systèmes

Dassault Systèmes, « The 3DEXPERIENCE Company », offre aux entreprises et aux particuliers les univers virtuels nécessaires à la conception d'innovations durables. Ses solutions leaders sur le marché transforment pour ses clients, la conception, la fabrication et la maintenance de leurs produits. Les solutions collaboratives de Dassault Systèmes permettent de promouvoir l'innovation sociale et offrent de nouvelles possibilités d'améliorer le monde réel grâce aux univers virtuels. Avec des ventes dans plus de 140 pays, le Groupe apporte de la valeur à plus de 200 000 entreprises de toutes tailles dans 12 industries. 

CATIA, SOLIDWORKS, SIMULIA, DELMIA, ENOVIA, GEOVIA, EXALEAD, BIOVIA, NETVIBES, 3D VIA, 3DEXCITE sont des marques déposées de Dassault Systèmes ou de ses filiales aux USA et/ou dans d'autres pays.

Tout est possible… grâce aux univers virtuels 3DEXPERIENCE !
Avec 210 000 clients dans 12 secteurs industriels, du high-tech aux sciences de la vie, de la mode aux transports, Dassault Systèmes accompagne les entreprises et les créateurs à travers le monde pour imaginer les innovations durables d'aujourd'hui et de demain.

Rejoignez une entreprise leader et prospère de 15 000 talents.

Imaginez demain...

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

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.

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.

Pour répondre à ce besoin, l'équipe envisage la résolution du Problème de Satisfiabilité Modulo Théories (SMT).
Les solveurs SMT, basés sur des solveurs SAT, permettent de décider de la satisfiabilité de formules logiques contenant des symboles de théorie particulière.

Le but de ce stage est d'étudier la résolution du problème SMT.

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é / Option souhaitée : Mathématique / Informatique.

Compétences techniques souhaitées :

  • Connaissances en mathématiques appliquées / informatique théorique
  • C++, programmation Objet 

Qualités professionnelles souhaitées :

  • Rigueur, Autonomie, Créativité

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

Contact

Dassault Systèmes
Service Recrutement
10 Rue Marcel Dassault
78140 Vélizy-villacoublay
Logo Dassault Systèmes