Société
MathWorks
Société: The MathWorks
Depuis sa création en 1984, The MathWorks est reconnu mondialement comme le principal éditeur de logiciels de calcul scientifique et technique avec Matlab & Simulink. Société américaine privée bénéficiaire depuis sa création, nous employons plus de 2500 salariés dans le monde. Nos salariés bénéficient tous d’une période d’intégration au siège de la société à Natick (USA).
Les produits Polyspace commercialisés par la société MathWorks sont des logiciels spécialisés dans la vérification de programmes C, C + +, Ada ainsi que les modèles Simulink en utilisant l'état de l'art de l’analyse statique des programmes.
Ils sont utilisés pour vérifier les logiciels embarqués et en particulier la sécurité des systèmes embarqués critiques dans les avions, les trains et les automobiles: voir http://www.mathworks.com/company/user_stories/Nissan-Increases-Software-Reliability-with-Polyspace-Products-for-CC++.html
Poste
Au sein de l'équipe Qualité de Polyspace, l'ingénieur sera responsable de l'amélioration de la qualité des codes sources en utilisant les outils de vérification de code tels que les produits Polyspace. Ceci couvre des aspects aussi variés que la mesure de complexité du code, la détection de violations des règles de codage et la détection des erreurs d'exécution. Le poste nécessite une forte interaction avec les équipes de développement.
Idéalement, les candidats ont une forte expérience en développement C++, font preuve d’esprit d'équipe, sont attentifs aux détails, ont une solide compétence en communication et font preuve d’un fort engagement lorsqu’il s’agit de faire avancer les projets.
L'Ingénieur sera en charge de:
+ Définir et mettre en œuvre la vérification automatique des codes de MathWorks basée sur les outils Polyspace
+ Assister les développeurs pour corriger les bugs, les problèmes de robustesse et de maintenabilité mis en évidence par les outils.
+ Proposer et défendre des idées auprès de l'équipe de Polyspace pour améliorer la qualité et l'efficacité des outils.
+ Fournir, sur une base régulière, un rapport synthétique sur les améliorations de la qualité des codes analysés.
Profil
Bac+5 en informatique.
Minimum 7 ans d'expérience dans le développement logiciel.
Excellente communication orale et écrite en anglais et en français.
Bonne connaissance du C et du C + +.
Solide connaissance en compilation et / ou en analyse statique avec un minimum de 5 ans d'expérience dans le domaine.
Solides compétences de développement collaboratif, car le travail est fortement lié aux activités de développement des autres membres de l'équipe.
La connaissance des environnements Windows et UNIX.
Plus:
MATLAB & Simulink/Visual Studio /Eclipse knowledge
