Do you want to help C/C++ developers around the world write better and safer code in critical embedded applications such as medical devices or airplanes?

MathWorks is seeking a versatile and seasoned Software Engineer to work on the development and the ease of deployment of Polyspace products.
Join a team of talented technology enthusiasts, where you can challenge your ideas and bring your own added value to make our products better.

Polyspace tools find bugs and prove their absence in C/C++ applications, either written by hand or generated (e.g. from Simulink models), using state-of-the-art static analysis technologies.

They are used to verify embedded software and especially safety-critical systems in airplanes, medical devices, and automobiles:

• Volvo Cars Software Factory Increases Pace and Quality of Development with Polyspace
• Miracor Eliminates Run-Time Errors and Reduces Testing Time for Class III Medical Device Software

Responsibilities

• You will participate to an innovative project to use Generative AI technology to help users get the most out of Polyspace
• You will specify, design, and implement complex and innovative improvements ranging from user interfaces to analysis engines
• You will have the opportunity to write code in C++, JavaScript, Go and more
• You will collaborate with MathWorkers and Customers to improve functionalities and workflows.

Minimum Qualifications

• A bachelor's degree and 6 years of professional work experience (or a master's degree and 3 years of professional work experience, or a PhD degree, or equivalent experience) is required.
• Knowledge of software development

Additional Qualifications

• Fluent French and English communication skills (verbal & written)
• Eager to develop software in multiple programming languages including modern C++
• Customer oriented team player, with experience in cross-functional collaborative environment