Intern on String Analysis for Security Checkers

Job Summary

Polyspace Bug Finder provides Security checkers since R2015a. This feature should be completed with the detection of vulnerabilities related to the misuse of strings.

Responsibilities

  • Get familiar with Polyspace
  • Design and implement a new analysis of strings content by Abstract Interpretation.
  • Apply this analysis to improve some checkers on strings for C and C++ programs.

Minimum Qualifications

  • Candidates must be pursuing a bachelor's or master's level degree in a technical discipline.

Additional Qualifications

  • Skills in programming languages (like C/C++)
  • Knowledge of static analysis techniques
  • Skills in functional programming languages (like O'Caml) is a plus

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