C++ Software Engineer - Static Analysis (22944-MCAR)
Professional Diversity Network
Natick, MA, USA
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:
MS or PhD in Software Engineering, Computer Science, or a closely related engineering field
Strong knowledge of software architecture, design, implementation, and qualification
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
A bachelor's degree and 5 years of professional work experience (or a master's degree) is required.
Experience with C++
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. The EEO is the Law poster is available here.MathWorks participates in E-Verify. View the E-Verify posters here.