Welcome to Simply Hired!

Like what you see here? Check out more Software Developers, Applications jobs like this one.

Show Me More

Senior Software Engineer, Program Analysis/Formal Methods (11883)

Apply Now

Company: Mathworks

Location: Boxboro, MA

Date Posted: June 23, 2014

Source: The MathWorks, Inc

We are looking for an experienced software engineer who is good at abstract thinking and algorithm design. Knowledge of compilers, formal methods or program analysis is a plus. You will join a dynamic core development team to enhance the Simulink Design Verifier product with brand new verification capabilities. This position offers you a great opportunity to learn many of our core technologies and apply your design and implementation skills to build parts of our product from ground up.

Design 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
Participate in architecture and design reviews
Develop high-quality implementations and integrate them into a large legacy code-base
Work closely with quality engineering, documentation, and program management to ensure consistently high quality software releases
Support customer facing engineers in timely resolution of customer ...

We are looking for an experienced software engineer who is good at abstract thinking and algorithm design. Knowledge of compilers, formal methods or program analysis is a plus. You will join a dynamic core development team to enhance the Simulink Design Verifier product with brand new verification capabilities. This position offers you a great opportunity to learn many of our core technologies and apply your design and implementation skills to build parts of our product from ground up.

Design 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
Participate in architecture and design reviews
Develop high-quality implementations and integrate them into a large legacy code-base
Work closely with quality engineering, documentation, and program management to ensure consistently high quality software releases
Support customer facing engineers in timely resolution of customer issues

Minimum

Show more

Other jobs you might like

Show Me More

Were you satisfied with these results? Yes | No
Thank you for your feedback!