Are you passionate to solve challenging problems on the cutting edge of technology?
Do you feel motivated to work with across functional teams in a fast-paced, agile and dynamic environment?
Are you energized by the opportunity to develop products that are used by millions of people around the globe?
If so, we would love to hear from you.

Who you are
We are looking for a Formal Verification Engineer to join our team and work on formal verification of intel CPU design

Who we are
Building a better world is our business. Whether in your PC or in the datacenters behind the cloud, we design Intel CPUs that are at the very heart of enabling amazing experiences for every person on earth. You will be joining a winning team of engineering excellence and playing a central role in developing Intel's future product lines. We believe in long-term mutual growth and invest in teaching you the inner workings of Intel's leading processors, software development processes, verification techniques, design methodologies and more. You will work with architects, design and verification engineers to build the future of CPU technology.

What you will do
In your work you will be required to acquire deep architectural and micro-architectural understanding of high complexity hardware design blocks, interacting with architecture and design teams. You will have to master state of the art Formal Verification techniques and develop verification collaterals in System Verilog. You will be part of a team working to deploy new techniques in the large development team and working closely with the tool and technology developers for problem solving.

Qualifications

Qualifications:
B.Sc. or M.Sc. or PhD Degree in Computer Science or Electrical Engineering or Computer Engineering or Mathematics
Familiar with frontend RTL design, Verilog and debug tools
Analytical and debugging skills, and creative in problem solving
Team player, passionate, energetic, motivated, and self-driven
Ability to work independently

Inside this Business Group

The Core and Client Development Group (C2DG) is a worldwide organization focused on the development and integration of SOCs, Core ™, and critical IPs that power Intel's leadership products, driving most of the Client roadmap for CCG, Delivering Server First Cores that enable continued growth for DCG and invest in future disruptive technologies.

Work Model for this Role

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.