r******n 发帖数: 12 | 1 My group now has two positions, 1 summer intern and 1 software engineering.
C++ is mandatory, must be solid, compiler/static program analysis is highly
desirable.
please contact me if you are interested.
[email protected]
/* */
Thanks!
Both share similar requirements as below:
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.
Role & 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++
Preferred 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 |
|