Accelerating the pace of engineering and science
| Careers at MathWorks |
C++ Software Engineer -- Verification technology
Job Summary
We are looking for an experienced C++ developer with knowledge of program static analysis or formal verification techniques. Our team is responsible for developing a brand-new cutting-edge verification product, Simulink Code Inspector. You will help us expanding the product coverage from Simulink and Stateflow to 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.
Responsibilities
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.
Qualifications Required / Preferred
- MS or PhD in Software Engineering, Computer Science, or a closely related engineering field
- Solid C++ programming experience
- Strong knowledge of software architecture, design, implementation, and qualification
- Strong communication and inter-personal skills
- Experience or knowledge with formal verification techniques is a big plus
- Experience with compiler technologies, graph theory, or data/control flow analysis is a big plus
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 2500 people in 15 countries, with headquarters in Natick, Massachusetts, U.S.A. MathWorks is privately held and has been profitable every year since its founding in 1984.