CPU Core Formal Verification Engineer

Other Jobs To Apply

No other job posts for this day.

Intel Corporation is a leading technology company focused on innovation and smart, connected devices. They are seeking motivated engineers to join their Performance Core CPU verification team, responsible for verifying architecture and micro-architecture changes in CPUs using formal verification methods.


Responsibilities

  • Technical ownership of formal verification of a microarchitecture block, methodology, or otherwise significant aspect of the P-Core CPU
  • Understand and contribute to micro-architecture specification and define the formal verification strategy for a significant portion of the design
  • Lead ROI analysis and recommend appropriate use of formal verification vs dynamic validation techniques for relevant parts of the CPU
  • Document formal test plans and drive technical reviews of plans and proofs with design and architecture teams
  • Post-silicon failure debug and sighting resolution
  • Mentor junior team members
  • Develop validation automation tools to accelerate execution
  • Collaborate on validation approach and strategy beyond immediate team
  • Work with global Formal verification experts and design teams within the organization

Skills

  • Candidate must have a Bachelors degree in Computer/Electrical Engineering or Computer Science and 3+ years of relevant work experience - OR - a Masters degree in Computer/Electrical Engineering or Computer Science and 2+ years of relevant work experience - OR - a PhD in Computer/Electrical Engineering or Computer Science with an emphasis on formal verification and 1+ years of relevant work experience
  • 1+ years of experience in/with Computer architecture with emphasis on out of order processor execution, memory hierarchy, and memory management
  • 1+ years of experience in/with Industry standard formal verification tools such as JasperGold, IFV, Questa Formal, VC Formal
  • 1+ years of experience in/with Hardware modeling language, such as Verilog, VHDL, or System Verilog and industry standard logic simulation tools
  • 1+ years of experience in/with Assertion writing, checker development, coverage analysis, failure debug, root cause analysis
  • 1+ years of experience in/with Programming in at least one language: C/C++, Java, Specman E, OVM, UVM and familiarity with any of scripting languages: Perl, Python, Ruby, TCL
  • Knowledge of Intel Architecture ISA and system architecture, x86 assembly language
  • Experience with pre- and post-silicon debug and analysis
  • Research publications, patent filings, or other evidence of personal technical innovation in validation methodology advancement
  • Applying sequential equivalence checking in complex micro-architectures
  • Formal abstractions and other complexity reduction techniques
  • Intel or industry pre-silicon verification of CPU cores, including specific areas of technical ownership/expertise relevant to CPUs

Benefits

  • Competitive pay
  • Stock bonuses
  • Health
  • Retirement
  • Vacation

Company Overview

  • Our mission is to shape the future of technology to help create a better future for the entire world, that’s the power of Intel Inside. It was founded in 1968, and is headquartered in Santa Clara, California, US, with a workforce of 10001+ employees. Its website is http://www.intel.com.

    • Company H1B Sponsorship

  • Intel Corporation has a track record of offering H1B sponsorships, with 2793 in 2025, 3717 in 2024, 3576 in 2023, 4811 in 2022, 3359 in 2021, 1174 in 2020. Please note that this does not guarantee sponsorship for this specific role.

    • Back to blog

    Common Interview Questions And Answers

    1. HOW DO YOU PLAN YOUR DAY?

    This is what this question poses: When do you focus and start working seriously? What are the hours you work optimally? Are you a night owl? A morning bird? Remote teams can be made up of people working on different shifts and around the world, so you won't necessarily be stuck in the 9-5 schedule if it's not for you...

    2. HOW DO YOU USE THE DIFFERENT COMMUNICATION TOOLS IN DIFFERENT SITUATIONS?

    When you're working on a remote team, there's no way to chat in the hallway between meetings or catch up on the latest project during an office carpool. Therefore, virtual communication will be absolutely essential to get your work done...

    3. WHAT IS "WORKING REMOTE" REALLY FOR YOU?

    Many people want to work remotely because of the flexibility it allows. You can work anywhere and at any time of the day...

    4. WHAT DO YOU NEED IN YOUR PHYSICAL WORKSPACE TO SUCCEED IN YOUR WORK?

    With this question, companies are looking to see what equipment they may need to provide you with and to verify how aware you are of what remote working could mean for you physically and logistically...

    5. HOW DO YOU PROCESS INFORMATION?

    Several years ago, I was working in a team to plan a big event. My supervisor made us all work as a team before the big day. One of our activities has been to find out how each of us processes information...

    6. HOW DO YOU MANAGE THE CALENDAR AND THE PROGRAM? WHICH APPLICATIONS / SYSTEM DO YOU USE?

    Or you may receive even more specific questions, such as: What's on your calendar? Do you plan blocks of time to do certain types of work? Do you have an open calendar that everyone can see?...

    7. HOW DO YOU ORGANIZE FILES, LINKS, AND TABS ON YOUR COMPUTER?

    Just like your schedule, how you track files and other information is very important. After all, everything is digital!...

    8. HOW TO PRIORITIZE WORK?

    The day I watched Marie Forleo's film separating the important from the urgent, my life changed. Not all remote jobs start fast, but most of them are...

    9. HOW DO YOU PREPARE FOR A MEETING AND PREPARE A MEETING? WHAT DO YOU SEE HAPPENING DURING THE MEETING?

    Just as communication is essential when working remotely, so is organization. Because you won't have those opportunities in the elevator or a casual conversation in the lunchroom, you should take advantage of the little time you have in a video or phone conference...

    10. HOW DO YOU USE TECHNOLOGY ON A DAILY BASIS, IN YOUR WORK AND FOR YOUR PLEASURE?

    This is a great question because it shows your comfort level with technology, which is very important for a remote worker because you will be working with technology over time...