BostonRecruiter Since 2001
the smart solution for Boston jobs

Senior Software Engineer

Company: The MathWorks, Inc.
Location: Natick, MA
Posted on: October 15, 2018

Job Description:

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

responsible for enhancing the Simulink Design Verifier product with new

verification capabilities; designing data-structures and algorithms for

interfacing with and coordinating multiple analysis engines, post-

processing intermediate results, building a data-base of analysis

results, and building customer visible UIs for visualizing analysis

results; developing high-quality implementations and integrating them

into a large legacy code-base; participating in architecture and design

reviews; collaborating with quality engineering, documentation, and

program management to ensure consistently high quality software

releases; and supporting customer facing engineers in timely resolution

of customer issues.

Education and Experience:

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

Computer Science, or Signal Processing and two (2) years of experience

in job offered or two (2) years of experience performing formal

verification of control systems.

OR

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

Science, or Signal Processing and no experience.

OR

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

Computer Science, or Signal Processing and six (6) years of experience

in job offered or six (6) years of experience performing formal

verification of control systems.

Special Requirements:

• Demonstrated expertise designing data structures and algorithms

to interface with multiple analysis engines for verification.

• Demonstrated expertise designing programming verification tools

using SML/OCaml.

• Demonstrated expertise performing formal verification of control

systems.

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

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

code 19481 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


Didn't find what you're looking for? Search again!

I'm looking for
in category
within


Log In or Create An Account

Get the latest Massachusetts jobs by following @recnetMA on Twitter!

Boston RSS job feeds