Our team is responsible for developing a cutting-edge verification product, Simulink Code Inspector. We are looking for an experienced C++ developer with knowledge of program static analysis or formal verification techniques.
You will help us expanding the product coverage in all coder area of Simulink, Stateflow and MATLAB code. This position offers you a great opportunity to learn many of our core products and apply your design and implementation skills to build parts of our product from ground up.
As part of the Simulink Code Inspector development team, you will innovate and deliver key features to extend the verification capabilities of the Simulink Code Inspector product. You will be responsible for all stages of software development including requirements specifications, architecture, design, implementation, and testing. You will demonstrate your communication skills and inter-personal skills by working closely with other development teams to develop these capabilities.
Combinations of the following are nice to have:
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.