Senior Software Engineer

Company: The MathWorks, Inc.
Location: Natick, MA
Posted on: February 3, 2015

Job Description:

Working under the direction of Engineering Senior Team Leader 4, will be

responsible for demonstrating formal methods and compiler theory to work

with a small team extending the Simulink Design Verifier product; defining

and implementing new features from concept to completion that get

incorporated into a large legacy code base; developing features that span a

variety of programming languages and technologies; and communicating and

shaping ideas through critical peer review.

Education and Experience:

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

Mathematics, Engineering or Materials Science and two (2) years of

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

methods and compiler theory to analyze embedded software.

OR

Ph.D. (or foreign education equivalent) in Computer Science, Mathematics,

Engineering or Materials Science and no experience.

OR

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

Mathematics, Engineering or Materials Science and six (6) years of

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

methods and compiler theory to analyze embedded software.

Special Requirements:

• Demonstrated expertise writing algorithms using C, C++, OCaml, and

MATLAB.

• Demonstrated expertise analyzing and simulating Simulink and

Stateflow models using formal verification technologies - SAT/SMT, model

checking, theorem proving and abstract interpretation.

• Demonstrated expertise in compiler optimizations.

• Demonstrated expertise writing MATLAB scripts for auto-generating

Simulink and Stateflow monitors from property specifications.

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

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

14164 for specific job details and requirements and apply online on the

Careers Page at www.mathworks.com/company/jobs.

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