Senior Software Engineer

Company: The MathWorks, Inc.
Location: Natick, MA
Posted on: January 24, 2017

Job Description:

Working under the direction of the Engineering Manager 1, will be

responsible for enhancing internal representation of a Simulink diagram,

implementing front-end graph optimizations for model-to-model

transformation, and verifying the transformed model; working to expand

the capabilities and customer adoption of our core products;

participating in all aspects of software development including:

collecting requirements, coding, testing and collaborating with other

teams; and mastering numerous features in Simulink and solving problems

while navigating MathWorks’ code-generation infrastructure.

Education and Experience:

Master’s degree (or foreign education equivalent) in Engineering,

Computer Science, Mathematics, Applied Mathematics, Physics, or

Information Technology and two (2) years of experience in job offered or

two (2) years of experience in modeling and formal verification of

system models.

OR

Ph.D. degree (or foreign education equivalent) in Engineering, Computer

Science, Mathematics, Applied Mathematics, Physics, or Information

Technology and no experience.

OR

Bachelor’s degree (or foreign education equivalent) in Engineering,

Computer Science, Mathematics, Applied Mathematics, Physics, or

Information Technology and six (6) years of experience in job offered or

six (6) years of experience in modeling and formal verification of

system models.

Special Requirements:

• Demonstrated expertise designing system model verification using

formal verification technique (e.g., Satisfiability, Satisfiability

Modulo Theories, and Model Checker).

• Demonstrated expertise designing algorithms in C and C++ for

internal representation analysis and transformation.

• Demonstrated expertise converting internal representations into

models for model-to-model transformation and formal verification.

• Demonstrated expertise in object oriented programming and design

using C and C++.

[Experience and/or expertise may be gained during Doctoral program.]

For the position listed above, interested candidates may search by job

code 16890 for specific job details and requirements and apply online on

the Careers Page at http://www.mathworks.com/company/jobs

Keywords: The MathWorks, Inc., Boston , Senior Software Engineer, Engineering , Natick, MA, Massachusetts