Ingénieur de recherche Stimulus – Ocaml (H/F)

Dassault Systèmes, « The 3DEXPERIENCE Company », est le leader mondial sur le marché de la conception, la fabrication et la maintenance de produits innovants. 
Présent dans plus de 140 pays, le Groupe sert plus de 250 000 entreprises de toutes tailles dans toutes les industries.

Au sein de l’organisation en charge des solutions d’ingénierie système, l’équipe est spécialisée dans la simulation des exigences, nous recrutons un.e Ingénieur.e de recherche pour développer le cœur technologique de l’outil Stimulus (https://www.3ds.com/products-services/catia/products/stimulus).

Poste basé à Meylan (Rhône-Alpes - 38)

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.