Senior Developer - Formal Verification

Résumé du poste

Postuler maintenant

Our group is responsible for the core technology used in MathWorks code analysis products. Join us to work on cutting-edge algorithms for static analysis and formal verification of C/C++ programs.

We are seeking a software engineer with a strong background in static analysis and experience of machine learning algorithms to help us design the next-generation of Polyspace products.

Mission

You'll work on a strategic global project for the company, working alongside other development teams. Specifically, you'll:

  • Innovate and deliver key features to extend the C/C++ code analysis and testing capabilities of the Polyspace products.
  • Contribute to all stages of software development including requirements specifications, architecture, design, implementation, and testing.
  • Demonstrate your communication skills and inter-personal skills by working closely with other development teams to develop these capabilities.

Qualifications minimales

  • A bachelor's degree and 10 years of professional work experience (or equivalent experience) is required.
  • Experience with formal methods

Qualifications supplémentaires

  • Expertise with C++, OCaml, or other functional programming langauages.
  • Expereince leading formal methods projects and inititatives.
  • Strong knowledge of static analysis technologies and program semantics.
  • Strong abstraction, algorithmic, and software architecture skills.
  • Experience with popular compiler infrastructures such as LLVM is a plus.
  • Demonstrated ability to dive into and work with large code bases is a plus.
  • Strong communication skills in French and English (most meetings will be in English).

Postuler maintenant

You and MathWorks

Why MathWorks?

It's the chance to collaborate with bright, passionate people. It's the opportunity to accelerate the pace of discovery, innovation, and learning in engineering and science. And it’s a commitment to doing the right thing—for each individual, our customers, and the local community. We cultivate an enjoyable, participatory, and rational environment that champions individual growth, appreciates diversity, encourages initiative, values collaboration, shares success, and rewards excellence.

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

YOU + MathWorks = Unlimited Possibilities

Panel Navigation

Join Our Talent Network

Receive personalized job opportunities, stories, and company updates.

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.