r******n
发帖数: 12 | 1 My team is very actively look for candidates with solid C++/Compiler/static
program analysis skills sets.
I can be reached at
[email protected]
/* */
or call me at
5086473016
Thanks in advance.
Details can be found at this link:
http://www.mathworks.com/company/jobs/opportunities/c-software-
Job Summary
Our team is responsible for developing a brand-new cutting-edge verification
product, Simulink Code Inspector. We are looking for an experienced C++
developer with knowledge of program static analysis or formal verification
techniques.
You will help us expanding the product coverage in all coder area of
Simulink, Stateflow and MATLAB code. This position offers you a great
opportunity to learn many of our core products and apply your design and
implementation skills to build parts of our product from ground up.
Responsibilities
As part of the Simulink Code Inspector development team, you will innovate
and deliver key features to extend the verification capabilities of the
Simulink Code Inspector product. You will be responsible for all stages of
software development including requirements specifications, architecture,
design, implementation, and testing. You will demonstrate your
communication skills and inter-personal skills by working closely with other
development teams to develop these capabilities.
Minimum Qualifications
A bachelor's degree and 3 years of professional work experience (or a
master's degree) is required.
Expertise with C++
Additional Qualifications
MS or PhD in Software Engineering, Computer Science, or a closely
related engineering field
Strong knowledge of software architecture, design, implementation, and
qualification
Experience or knowledge with formal verification techniques is a big
plus
Experience with compiler technologies, graph theory, or data/control
flow analysis is a big plus
Why MathWorks?
It’s the chance to collaborate with bright, passionate people. It’s
contributing to software products that make a difference in the world. And
it’s being part of a company with an incredible commitment to doing the
right thing – for each individual, our customers, and the local community.
MathWorks develops MATLAB and Simulink, the leading technical computing
software used by engineers and scientists. The company employs 3000 people
in 15 countries, with headquarters in Natick, Massachusetts, U.S.A.
MathWorks is privately held and has been profitable every year since its
founding in 1984. |
