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.

Responsibilities

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.

Minimum Qualifications

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

Additional Qualifications

• 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).