Jan 30, 2020

C++ Software Engineer - Static Analysis (22944-MCAR)

  • Professional Diversity Network
  • Natick, MA, USA
Full-Time Engineering

Job Description

MathWorks

Summary

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.


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

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

Required Qualifications
  • 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.

States

MA  

Apply Now