Be the next big change > Dassault Systèmes
Be the Next Game Changer

STAGE - Performances du solver SMT (F/H)

France, 78, Vélizy-Villacoublay
Internship
9/7/2023
534945

Au sein du département R&D Technologies chargé de fournir à l'ensemble des produits de Dassault Systèmes les composants logiciels de calcul modélisation et visualisation, le service en charge des solveurs de contraintes recherche un stagiaire pour travailler sur les solveur SMT utilisés par le configurateur d'ENOVIA.

 

Vos missions

Le configurateur d'ENOVIA est utilisé pour définir des produits personnalisés. Cela nécessite la résolution en temps réel de problèmes complexes présentant une grande variabilité. Les contraintes utilisées par le configurateur sont des règles booléennes et arithmétiques. 

L'objectif de ce stage sera d'étudier les performances et la robustesse des solveurs de type SMT (SAT modulo theory) permettant de résoudre des problèmes issus du configurateur d'ENOVIA. Pour cela, nous attendrons :

·       Une étude bibliographique pour comprendre la technologie sous-jacente des solveurs SMT

·       Identifier les solveurs SMT open source qui ont participé à la compétition SMT-COMP et répondant aux besoins d’ENOVIA

·       Une évaluation du ou des solveurs SMT retenus (taux de succès, charge mémoire, temps d’exécution)

Vos qualifications

·       Etudiant(e) préparant un diplôme de niveau BAC+5, Ecole d’ingénieur ou Master Universitaire.

·       Programmation C++, informatique / mathématiques appliquées 

·       Motivation, autonomie, esprit critique

Type de contrat : Stage conventionné seulement

 

Nous rejoindre c'est aussi

 

Intégrer une entreprise scientifique au cœur de l’innovation technologique, portée par une forte croissance depuis plus de 40 ans.

Principaux avantages et bénéfices :

·       Environnement multiculturel

·       Cadre de travail convivial axé sur le bien-être et la santé (salles de sport & de musique, conciergerie…)

·       Engagement en faveur de la diversité et de l’inclusion

·       Politique dynamique de développement de carrière : plan de formation, mobilités internes, etc

Diversity statement

As a game-changer in sustainable technology and innovation, Dassault Systèmes is striving to build more inclusive and diverse teams across the globe. We believe that our people are our number one asset and we want all employees to feel empowered to bring their whole selves to work every day. It is our goal that our people feel a sense of pride and a passion for belonging. As a company leading change, it’s our responsibility to foster opportunities for all people to participate in a harmonized Workforce of the Future.
Dassault Systèmes Logo > Dassault Systèmes

Join Dassault Systèmes, The 3DEXPERIENCE Company Everything becomes possible with Dassault Systèmes’ 3DEXPERIENCE virtual universes! Serving 230,000 customers in 11 industries, from high-tech to life sciences, fashion to transportation, we help businesses and people around the world to create sustainable innovations for today and tomorrow. Get on board a leading and fast-growing company of 20,000 talented professionals.