Software Engineer - Formal Methods for Verification

Job Summary

Apply Now

Simulink Design Verifier is a product that uses formal methods to detect design errors, prove properties and generate test cases for designs created in Simulink, Stateflow and MATLAB. This position is for an ambitious developer well versed in formal methods and compiler theory to work with a small team extending the product.


You will have responsibility for defining and implementing new features from concept to completion that get incorporated into a large legacy code base. You should be comfortable developing features that span a variety of programming languages and technologies. You will also need to be adept at communicating and shaping your ideas through critical peer review.

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, or equivalent experience) is required.
  • Expertise with C++

Additional Qualifications

The ideal candidate will have the following minimum qualifications

  • M.S. or PhD in computer science or a closely related engineering field
  • Experience with formal verification technologies (e.g. SAT/SMT, model checking, theorem proving, abstract interpretation) and applications
  • Proven success developing large software applications
  • Experience with a range of language including C/C++
  • Excellent written and verbal communication

In addition the following skills are highly desirable:

  • Experience with compiler and optimization technologies
  • Experience with MATLAB, Simulink and Stateflow
  • Knowledge of functional programming languages like Ocaml and ML

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 5000 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.