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

Société : DASSAULT SYSTEMES

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.

Description du poste

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.

Profil recherché

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 3 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.