Formal Verification Engineer

Job Description

Join Our Team as a Formal Verification Engineer!

Are you passionate about cutting-edge technology and eager to make a significant impact in the world of microarchitecture? We're looking for a talented Formal Verification Engineer to join our dynamic team. In this role, you'll be at the forefront of verifying IP and SoC microarchitecture using state-of-the-art formal verification tools and methodologies.

What You'll Do:

• Conduct verification of IP and SoC microarchitecture using advanced formal verification tools, methodologies, and technologies.
• Create comprehensive formal verification test and coverage plans, defining the scope, strategy, and techniques.
• Develop abstraction models to achieve convergence on design, carve out the right boundaries, and apply abstraction techniques.
• Implement formal proofs to execute the verification plan, review completed proofs and innovate new formal verification methodologies.
• Collaborate with architects, RTL developers, and physical design teams to enhance verification of complex architectural and microarchitectural features.
• Document test plans and lead technical reviews with design and architecture teams.
• Maintain and improve existing functional verification infrastructure and methodology.
• Apply your understanding of binary decision diagrams (BDD) and data flow graphs (DFG) to resolve complexity in arithmetic data paths.
• Use your expertise in modeling architecture to simplify and formally prove protocols and architectures.

Why Join Us?

• Be part of a forward-thinking team that values innovation and collaboration.
• Work on exciting projects that push the boundaries of technology.
• Enjoy a supportive work environment with opportunities for professional growth and development.

If you're ready to take your career to the next level and make a real difference in the world of microarchitecture, we'd love to hear from you!

Qualifications

What We're Looking For:

Minimum Qualifications:

• Bachelor’s degree in electrical engineering, Computer Engineering, Computer Science, or a related field with 12+ years of experience .
• 8+ years of experience in in RTL languages like System Verilog or VHDL
• 8+ years of experience in assertion languages like SVA, formal verification

Preferred Qualifications:

• Deep understanding of formal verification technology, including model checking
• Strong knowledge of computer architecture, digital design, and verification methods.
• Experience in research within the formal verification domain.

Inside this Business Group

The Data Center & Artificial Intelligence Group (DCAI) is at the heart of Intel’s transformation from a PC company to a company that runs the cloud and billions of smart, connected computing devices. The data center is the underpinning for every data-driven service, from artificial intelligence to 5G to high-performance computing, and DCG delivers the products and technologies—spanning software, processors, storage, I/O, and networking solutions—that fuel cloud, communications, enterprise, and government data centers around the world.

Posting Statement

All qualified applicants will receive consideration for employment without regard to race, color, religion, religious creed, sex, national origin, ancestry, age, physical or mental disability, medical condition, genetic information, military and veteran status, marital status, pregnancy, gender, gender expression, gender identity, sexual orientation, or any other characteristic protected by local law, regulation, or ordinance.

Benefits

We offer a total compensation package that ranks among the best in the industry. It consists of competitive pay, stock, bonuses, as well as, benefit programs which include health, retirement, and vacation. Find more information about all of our Amazing Benefits here.



Annual Salary Range for jobs which could be performed in the US $214,730.00-$303,140.00
*Salary range dependent on a number of factors including location and experience

Working Model

This 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.

Position of Trust
This role is a Position of Trust. Should you accept this position, you must consent to and pass an extended Background Investigation, which includes (subject to country law), extended education, SEC sanctions, and additional criminal and civil checks. For internals, this investigation may or may not be completed prior to starting the position. For additional questions, please contact your Recruiter.