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., Worcester , Senior Software Engineer , Engineering , Natick, MA, Massachusetts