Location: JobParser.Models.Location
Category:
Type: Full-time
Deadline: 24-Feb-18 00:00:00
Salary: Highly competitive
Description
Rushc LLC is looking for a Senior C++ EDA Engineer who will develop and enhance formal verification algorithms for logic designs.
Responsibilities
RequiredQualifications
- Master's degree in Electrical Engineering, Computer Science or in a related field;
- At least 5 years' experience in software development; 3 years' experience in EDA is preferable;
- Strong knowledge of C++ and EDA;
- Knowledge of SDC timing constraints (MCP, FP, create_clock, etc.) and timing closure issues;
- Experience with ABC (AIG) and formal proofs is a plus.
Benefits
No comments:
Post a Comment