Dassault Systèmes est leader mondial sur le marché des solutions logicielles de gestion du cycle de vie des produits (Product Lifecycle Management ou PLM).

Nos applications logicielles et services permettent aux entreprises de toutes tailles, dans tous les secteurs, de définir et de simuler numériquement les produits ainsi que les procédés et les ressources nécessaires à leur fabrication, à leur maintenance, à leur recyclage et à l’amélioration de notre environnement. Avec 31 % de parts de marché en 2007, le chiffre d’affaires de Dassault Systèmes s’est établi à 1 749 millions de dollars, en hausse de 14 % à taux de change constant avec une marge opérationnelle de 26,2 %.

Nous sommes un groupe international, avec 153 sites dans 25 pays et plus de 7 000 employés, dont la moitié est dédiée à la R&D. Nous comptons à notre actif 100 000 clients dans 11 secteurs industriels tels que l’aéronautique, l’automobile, la construction navale, l’énergie, les équipements industriels (PSA Peugeot Citroën, Boeing, Sony ou Smoby etc…).

Nos marques Solidworks, CATIA, SIMULIA, DELMIA, ENOVIA et 3DVia révolutionnent la manière dont les entreprises conçoivent et développent leurs produits en offrant une vision en 3D de l’ensemble du cycle de vie du produit

Entreprise jeune, résolument tournée vers l’innovation et l’international, Dassault Systèmes est leader mondial sur le marché des solutions logicielles de gestion du cycle de vie des produits (Product Lifecycle Management ou PLM). Nos solutions révolutionnent la manière dont les entreprises du secteur industriel conçoivent et développent leurs produits en offrant une vision en 3D de l’ensemble du cycle de vie du produit, depuis sa conception initiale jusqu’à sa maintenance.

Ingénieurs R&D "Automatisation du Code"
- h/f -

Mission :

Votre mission consiste à  analyser,  concevoir,  développer l’ensemble de l’environnement intégré de développement du futur. 

Venez intégrer et contribuer à la création d’une nouvelle équipe en charge de l’automatisation du processus de développement. Cette automatisation vise a mettre en œuvre des techniques de génération de code ou de preuve de code permettant d’accroitre la productivité du développement logiciel ainsi que la qualité et la pérennité du code produit.  Une partie de cette automatisation sera réalisée en développant des outils et langages avec une sémantique métier qui permettront de modéliser et générer le code natif de l’application.

Cette méthodologie adressera directement toutes les strates du développement (architecture, design et écriture de code) et aura des impacts sur la chaine complète de création du logiciel comme les spécifications, les tests ou la maintenance.

Ce projet innovant vous permettra de mettre en œuvre une grande variété de technologies, langages et outils tels que : Extensions Visual Studio (VSIP, GAT, DSL, snippets …) / Modeling graphique (EMF, GMF, GEF, Virtools …) / Vérification automatique (Model Checking, FSM, BDD, SAT Solver …).

Profil et compétences :

De formation Ingénieur ou Universitaire, venez préparer l’avenir du développement logiciel.

• Des notions de raffinement de spécifications (Méthode B, …) et assistants de preuve (Coq, …) seront des éléments appréciés.
• Motivé par les aspects conceptuels du développement, sensible aux avancées du génie logiciel et passionné par les technologies émergentes des grands éditeurs de logiciel.
• La maîtrise de l’anglais est indispensable.

Pour ce  projet ambitieux et innovant, vous avez des compétences dans l’une de ces disciplines de l’informatique industrielle (méthodes de développement, conception objet, Software Factories, MDD, MDA, Plateforme Microsoft Visual Studio, Model Checking, Assistants de preuve …).