Job Details:Job Description:The Role and Impact: As a Formal Verification Engineer, you will play a pivotal role in ensuring the reliability and functionality of Intel's cutting-edge IP and SoC microarchitectures. By leveraging advanced formal verification tools and methodologies, you will directly contribute to the development of world-class technology solutions that power Intel's leadership in the semiconductor industry. This is a unique opportunity to collaborate closely with architects, RTL developers, and physical design teams to verify intricate architectural features and drive innovation in modern computing systems. Your work will make a meaningful impact on Intel's products and the experiences they enable for millions of users worldwide.
Key Responsibilities:- Conduct formal verification of IP and SoC microarchitectures using advanced tools and methodologies based on model checking and equivalence checking algorithms.
- Develop comprehensive formal verification test and coverage plans, defining scope, strategy, and techniques to ensure thorough verification.
- Create abstraction models to achieve convergence on design and track, verify, and apply abstraction techniques effectively.
- Develop formal proofs to implement verification plans and resolve failing tests using corrective measures.
- Collaborate with architects, RTL developers, and physical design teams to verify and enhance complex architectural and microarchitectural features.
- Document test plans and lead technical reviews with design and architecture teams, ensuring alignment and robust verification strategies.
- Maintain and improve existing functional verification infrastructure and methodologies for future scalability.
- Apply expertise in binary decision diagrams (BDD), data flow graphs (DFG), and modeling architecture to simplify complex problems and formally prove protocols and architectures.
Qualifications:You must possess the below minimum qualifications to be initially considered for this position. Preferred qualifications are in addition to the minimum requirements and are considered a plus factor in identifying top candidates. Experience listed below would be obtained through a combination of your degree, research and or relevant previous job and or internship experiences.
Minimum Qualifications:Bachelor's degree in Electrical Engineering, Computer Engineering, Computer Science, or a related specialized field with 1+ years of experience OR Master's degree in Electrical Engineering, Computer Engineering, Computer Science, or a related specialized field with:
- 1+ years of experience in formal verification
- Proficiency in formal verification tools (Jasper) and methodologies, including model checking and equivalence checking algorithms.
- Strong grasp of abstraction techniques, convergence methodologies, and simulation techniques.
- Knowledge of binary decision diagrams (BDD) and data flow graphs (DFG) for data path analysis.
Preferred Qualifications: - Master's degree in Electrical Engineering, Computer Engineering, Computer Science, or a related field.
- Experience collaborating with cross-functional teams, including architects, RTL developers, and physical design engineers.
- Understanding of complex architectural protocols and features in modern microarchitectures.
- Proven ability to document and present formal verification plans and results effectively.
Job Type:College Grad
Shift:Shift 1 (United States of America)
Primary Location:US, Oregon, Hillsboro
Additional Locations:US, Arizona, Phoenix, US, California, Folsom, US, California, Santa Clara, US, Texas, Austin
BenefitsWe offer a total compensation package that ranks among the best in the industry. It consists of competitive pay, stock bonuses, and benefit programs which include health, retirement, and vacation. Find out more about the benefits of working at Intel.
Annual Salary Range for jobs which could be performed in the US: $105,650.00-149,150.00 USD
The range displayed on this job posting reflects the minimum and maximum target compensation for the position across all US locations. Within the range, individual pay is determined by work location and additional factors, including job-related skills, experience, and relevant education or training. Your recruiter can share more about the specific compensation range for your preferred location during the hiring process.
Work Model for this RoleThis role will be eligible for our hybrid work model which allows employees to split their time between working on-site at their assigned Intel site and off-site. * Job posting details (such as work model, location or time type) are subject to change.
ADDITIONAL INFORMATION: Intel is committed to Responsible Business Alliance (RBA) compliance and ethical hiring practices. We do not charge any fees during our hiring process. Candidates should never be required to pay recruitment fees, medical examination fees, or any other charges as a condition of employment. If you are asked to pay any fees during our hiring process, please report this immediately to your recruiter.
