Skip to main contentA logo with &quat;the muse&quat; in dark blue text.
Intel

Formal Verification Engineer

Santa Clara, CA

Job Description
In this role responsibilities include, although not limited to:

  • Verify the micro-architecture of complex IPs using industry standard Formal Verification tools and technologies based on latest model checking and equivalence checking algorithms
  • Use 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 and verify them
  • Apply abstraction techniques and converge on complex designs to deliver a high-quality design on schedule and articulate the ROI
  • Analyze new methodologies evaluates new tools and corroborate results
  • May work with vendors on resolving hard design and tool problems

Want more jobs like this?

Get jobs delivered to your inbox every week.

Select a location
By signing up, you agree to our Terms of Service & Privacy Policy.

Qualifications

You must possess the below minimum qualifications 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

The candidate must have a Bachelor's degree in Electrical/Computer Engineering or Computer Science and 9+ years of experience -OR- a Master's degree in Electrical/Computer Engineering or Computer Science and 6+ years of experience -OR- a PhD in Electrical/Computer Engineering or Computer Science and 4+ years of experience in:
  • Verification of the micro-architecture and design using industry standard Formal Verification tools on complex IPs ( e.g Graphics, server IPs, Processors, SOCs )
  • Track record in developing Formal verification methodologies
  • Logic design
  • Implement complex designs

Inside this Business Group
The Infrastructure and Platform Solutions Group (IPSG) builds the silicon and platform infrastructure for Intel's silicon design teams. IPSG is comprised of a reusable pool of infrastructure IP blocks, design enabling services such as tools and automation, and a best-in-class post silicon ecosystem that ramps quickly to high volume manufacturing and validation. Our primary mission is to protect Intel's brand by providing the infrastructure necessary to enable all of Intel's products to hit the market on a dependable and predictable cadence.

Other Locations

US, California, Folsom

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.
US Experienced Hire JR0141305 Santa Clara

Job ID: intel-JR0141305
Employment Type: Other

Perks and Benefits

  • Health and Wellness

    • Health Insurance
    • Health Reimbursement Account
    • Dental Insurance
    • Vision Insurance
    • Life Insurance
    • Short-Term Disability
    • Long-Term Disability
    • FSA
    • HSA
    • On-Site Gym
    • Pet Insurance
    • Mental Health Benefits
    • Virtual Fitness Classes
  • Parental Benefits

    • Fertility Benefits
    • Adoption Assistance Program
    • Family Support Resources
    • On-site/Nearby Childcare
  • Work Flexibility

    • Flexible Work Hours
    • Remote Work Opportunities
    • Hybrid Work Opportunities
    • Work-From-Home Stipend
  • Office Life and Perks

    • Commuter Benefits Program
    • Casual Dress
    • Some Meals Provided
    • Company Outings
    • On-Site Cafeteria
    • Holiday Events
  • Vacation and Time Off

    • Paid Vacation
    • Paid Holidays
    • Personal/Sick Days
    • Sabbatical
    • Leave of Absence
    • Volunteer Time Off
  • Financial and Retirement

    • 401(K)
    • 401(K) With Company Matching
    • Pension
    • Stock Purchase Program
    • Performance Bonus
    • Relocation Assistance
    • Financial Counseling
    • Profit Sharing
  • Professional Development

    • Tuition Reimbursement
    • Learning and Development Stipend
    • Promote From Within
    • Mentor Program
    • Shadowing Opportunities
    • Access to Online Courses
    • Work Visa Sponsorship
    • Leadership Training Program
  • Diversity and Inclusion

    • Diversity, Equity, and Inclusion Program
    • Employee Resource Groups (ERG)
    • Woman founded/led
    • Black founded/led

Company Videos

Hear directly from employees about what it is like to work at Intel.

This job is no longer available.

Search all jobs