As a Manager, sets priorities and goals for the team, drives results across various functions, ensuring an inclusive work environment, provides meaningful conversations to develop employees, and manage performance. Oversees definition, boundaries for formal verification, proper test planning, tracking, evaluating ROI, prioritizing team tasks based on project priorities and influencing key stakeholders. Verification of the microarchitecture using industry standard Formal Verification tools and technologies based on latest model checking and equivalence checking algorithms on world class design IPs (Graphics, Server IPs, processors and SOCs) . Using the hardware architecture design and RTL implementation details, define the Formal Verification scope, deploy the right strategy to prove the correctness while deploying advanced formal techniques and create abstraction models for convergence on the design, Carve out the right boundaries for the design, create comprehensive Formal Verification test plans, track, verify, apply abstraction techniques and converge on complex designs to deliver a high quality design on schedule and articulate the ROI. Analyzes new methodologies, evaluates new tools and corroborate results. May review vendor capability to support Formal Verificaiton development. Selects, develops, and evaluates Formal Verification engineers to ensure the efficient operation of the function.

Qualifications

Minimum qualifications are required 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.
Minimum Qualifications:

• PhD in Computer Science or Electrical Engineering.
• Experience with Interactive Theorem Proving and hardware verification.

Preferred Qualifications:

• Skilled in using ACL2 Theorem prover.
• Requirements listed would be obtained through a combination of industry relevant job experience, internship experiences and or schoolwork/classes/research.

Inside this Business Group

The Advanced Architecture Development Group (AADG) is a CPU Core development team in Portland, Oregon.  If you are excited about advanced development of breakthrough technologies for future-generation CPU cores, please join us.  We believe that developing these technologies takes a team of exceptionally talented individuals who work together to visualize, innovate, and make the future of computing possible.  Join us to do something wonderful!

Work Model for this Role

This role is available as fully home-based and generally would require you to attend Intel sites only occasionally based on business need.

Privacy Statement:-

 Your privacy matters to Intel and we comply with applicable data protection laws. We collect and maintain personal information for recruitment related activities and your data will not be used for any other purpose. We retain personal information for the periods and purposes set forth in Intel’s Privacy Notice. Retention periods can vary significantly based on the type of information and how it is used. We do not share your personal information with third parties. 

In order for Intel to communicate with you on your application results, by submitting your information and proceeding with this application, you agree and consent that we can collect your personal information. You will have the ability to opt-out by informing vietnamjobs@intel.com  or at any time selecting “unsubscribe” found at the bottom of our future marketing communications. You have rights to correct, update, request access to or deletion of your personal information as described in Intel’s Privacy Notice.  In addition, if you wish to update or otherwise make changes to your resume, use Intel’s online application tool to resubmit a new resume