Security Detection Software Developer

Job Summary

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 critical parts in Polyspace engine. You will especially increase Polyspace's ability to detect security issues. 

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.

Responsibilities

  • You will specify, design, and implement complex architectural improvements.
  • You will provide technologically innovative ideas (what to develop and why?), and you are comfortable to develop them efficiently.

Minimum Qualifications

  • A bachelor's degree and 7 years of professional work experience (or a master's degree and 5 years of professional work experience, or a PhD degree) is required.

Additional Qualifications

A computer science degree.

Experience in security related development.

Knowledge and experience with intermediate representation frameworks (compilation, simulation...).

Excellent oral and written English and French communication.

Strong knowledge and experience on various languages (C, C++, MATLAB…).

Knowledge of functional languages (e.g. O’caml) is a plus.

Knowledge of cryptography is a plus.

Strong collaborative skills, as development work will be strongly linked to activities of other members of the team.

Comfortable when working on a large code base with minimal guidance.

Why MathWorks?

It’s the chance to collaborate with bright, passionate people. It’s contributing to software products that make a difference in the world. And it’s being part of a company with an incredible commitment to doing the right thing – for each individual, our customers, and the local community.

MathWorks develops MATLAB and Simulink, the leading technical computing software used by engineers and scientists. The company employs 4500 people in 16 countries, with headquarters in Natick, Massachusetts, U.S.A. MathWorks is privately held and has been profitable every year since its founding in 1984.

Contact us if you need reasonable accommodation because of a disability in order to apply for a position.

The MathWorks, Inc. is an equal opportunity employer. We evaluate qualified applicants without regard to race, color, religion, sex, sexual orientation, gender identity, national origin, disability, veteran status, and other protected characteristics. View The EEO is the Law poster and its supplement.

The pay transparency policy is available here.

MathWorks participates in E-Verify. View the E-Verify posters here.

Apply Now