r******n 发帖数: 12 | 1 I am currently actively looking for a candidate with C/C++ and compiler
background.
Please send your resume to me directly
j**[email protected]
Thanks!
We are looking for an experienced C++ developer with knowledge of program
static analysis or formal verification techniques. Our team is responsible
for developing a brand-new cutting-edge verification product, Simulink Code
Inspector. You will help us expanding the product coverage from Simulink and
Stateflow to 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.
Qualifications:
MS or PhD in Software Engineering, Computer Science, or a closely
related engineering field
Solid C++ programming experience
Strong knowledge of software architecture, design, implementation, and
qualification
Strong communication and inter-personal skills
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 |
|