Détail de l'offre
Quelles sont les missions ?
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).
Quel est le profil idéal ?
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é
Comparer votre profil avec les candidats qui ont déjà postulé
ont une expérience plus élevée ou comparable à la vôtre. des candidats
ont une expérience moins élevée ou comparable à la vôtre.
demandent un salaire minimum supérieur ou comparable au vôtre. des candidats
demandent un salaire minimum inférieur ou comparable au vôtre.
Pourquoi les rejoindre ?
Imaginez demain...
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 toutes les 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
Postuler à cette offre
Postuler sur le site du recruteurLes candidats ayant postulé à cette offre ont également postulé à :
Voir les autres postes en tant que :