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 250 000 entreprises de toutes tailles dans toutes les industries.
Vos missions Cette solution unique, développée dans le langage Ocaml, permet de simuler les comportements des systèmes cyber-physiques à partir de leurs exigences fonctionnelles. D’abord formalisées dans un langage proche du langage naturel, les exigences sont ensuite transformées en contraintes par un compilateur, puis simulées grâce à un solveur dédié pour finalement produire des courbes de simulation, détecter les conflits d’exigences ou encore tester le code embarqué du système. Ce poste est une occasion rare de rejoindre une équipe de haut vol, passionnée par la capacité de cet outil à transformer les méthodes de travail des plus grands groupes industriels dans les domaines de l’automobile, l’aéronautique, l’énergie, etc. Nous recherchons un.e ingénieur.e de recherche rigoureux.se, inventif.ve, motivé.e par l’intégration de résultats de recherche dans un produit industriel.
Vos qualifications Vous êtes titulaire d'un Doctorat en informatique, ou avez un Master Universitaire ou un diplôme d'ingénieurs. Vous justifiez d'une expérience d'au moins 7 ans dans le domaine de l'ingénierie / recherche. Vous maitrisez la programmation fonctionnelle avec le langage Ocaml Vous avez des connaissances solides en théorie des langages de programmation Vous avez d'excellentes capacités d’abstraction, de formalisation et de résolution de problèmes complexes Idéalement, vous connaissez des outils de simulation de systèmes réactifs (Simulink, Scade) et des méthodes formelles de type model-checking Vous êtes en capacité de communiquer en anglais tant à l'écrit qu'à l'oral. 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é 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
En cliquant sur "JE DÉPOSE MON CV", vous acceptez nos CGU et déclarez avoir pris connaissance de la politique de protection des données du site jobijoba.com.