Senior Developer

MathWorks has a hybrid work model that enables staff members to split their time between office and home. The hybrid model provides the advantage of having both in-person time with colleagues and flexible at-home life optimizations.

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.

MathWorks nurtures growth, appreciates diversity, encourages initiative, values teamwork, shares success, and rewards excellence.

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

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

Minimum Requirements:

• Expertise with C++, OCaml, or other functional programming languages.
• Experience leading formal methods projects and initiatives.
• 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).
• A bachelor's degree and 10 years of professional work experience (or equivalent experience) is required.
• Experience with formal methods.