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

France, 38, Meylan
Regular
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

Diversity statement

As a game-changer in sustainable technology and innovation, Dassault Systèmes is striving to build more inclusive and diverse teams across the globe. We believe that our people are our number one asset and we want all employees to feel empowered to bring their whole selves to work every day. It is our goal that our people feel a sense of pride and a passion for belonging. As a company leading change, it’s our responsibility to foster opportunities for all people to participate in a harmonized Workforce of the Future.
CATIA Logo > Dassault Systèmes

CATIA is the world’s leading solution for product design and experience. It delivers the unique ability not only to model any product in 3D but to do so in the context of the products real life behavior.