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

France, 38, Meylan
CDI
8/3/2023
534846

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.

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.

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

Déclaration de diversité

Dassault Systèmes, avant-gardiste en matière de technologie et d’innovation durable, s’efforce de créer des équipes toujours plus inclusives et diverses à travers le monde. Nous avons la forte conviction que nos employés sont notre atout numéro 1 et nous voulons que tous, se sentent libres d’être pleinement qui ils sont vraiment. Notre objectif est qu’ils ressentent fierté et sentiment d’appartenance. En tant qu’entreprise à la pointe du changement, il nous incombe de favoriser l’inclusion de tous et participer à création du monde de demain.
CATIA Logo > Dassault Systèmes

CATIA est la solution n°1 au monde dans les domaines de la conception et de l'expérience des produits. Elle permet non seulement de modéliser n'importe quel produit en 3D, mais également son comportement en contexte.