Formal Verification Engineer

Job DescriptionAbout the Team: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.About this Role:In this role, 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 also conduct verification of IP and/or SoC microarchitecture using formal verification tools, methodologies, and technologies based on model checking and equivalence checking algorithms. In addition to creating comprehensive formal verification test and coverage plans including definition of formal verification scope, strategy, and techniques. 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.QualificationsAt least 1 year of experience in Formal Verification.B.Sc. or M.Sc. in Computer Science or Electrical/Computer Engineering.Familiar with frontend RTL design, Verilog and debug tools - advantage.Analytical and debugging skills, and creative in problem solving.Team player, passionate, energetic, motivated, and self-driven.Ability to work independently.Ability to learn new material fast and translate knowledge into task execution.Good communication skills and good ability to learn complex design specification from various sources written or verbal.Ability to focus on hard problems and invest what it takes to moving forward towards solving these problems.Inside this Business GroupThe 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.Posting StatementAll 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.BenefitsWe 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.Working ModelThis 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. In certain circumstances the work model may change to accommodate business needs.JobTypeHybrid