Software Engineer in Static Analysis

Job Summary

Do you have a MSc in computer science?

Are you interested in applying innovative ideas to solve complex problems?

Do you want to participate to the development of static code analysis tools in an industrial environment?

MathWorks is seeking a Software Engineer to work on the development of Polyspace tools. Polyspace tools find bugs and prove their absence in C/C++ applications and Simulink models, using state-of-the-art static analysis. It is used to verify embedded software and especially safety-critical systems in planes, trains, and automobiles. Polyspace engine is used in Simulink and MATLAB tools.

Responsibilities

• You will help apply state-of-the-art techniques to improve Polyspace tools.
• You will participate in the specification, design, and implementation of new features that increase the impact of Polyspace on its users.
• You will broaden the use of static analysis within other Mathworks products.

Minimum Qualifications

A bachelor’s degree and 5 years of professional work experience (or a master’s degree, or equivalent experience) is required.

Additional Qualifications

• Good knowledge of formal methods or static analysis techniques (abstract interpretation, SMT solving, model checking, Hoare logic, …).
• Adaptability to different programming languages and environments.
• Excellent oral and written French and English communication.

Mathworks is looking for a software developer to work on Polyspace products and improve its static analysis capabilities.

More details here at https://www.mathworks.com/company/jobs/opportunities/26608-software-engineer?keywords=&location%5B%5D=342.

Please contact Olivier Bouissou (obouisso@mathworks.com), if you have any question regarding this position.

MathWorks 2, rue de Paris 92196 Meudon Cedex France http://www.mathworks.fr