Intel Corporation
Join to apply for the
FVCTO - Formal Verification Senior Engineer
role at
Intel Corporation 1 day ago Be among the first 25 applicants Join to apply for the
FVCTO - Formal Verification Senior Engineer
role at
Intel Corporation Do Something Wonderful!
Intel put Silicon in Silicon Valley. No one else is obsessed with engineering and have a brighter future. Every day, we create world-changing technology that enriches the lives of every person on earth. So, if you have a big idea, let's do something wonderful together. Join us, because at Intel, we are building a better tomorrow. Job Details
Job Description:
Do Something Wonderful!
Intel put Silicon in Silicon Valley. No one else is obsessed with engineering and have a brighter future. Every day, we create world-changing technology that enriches the lives of every person on earth. So, if you have a big idea, let's do something wonderful together. Join us, because at Intel, we are building a better tomorrow.
Who We Are
The Data Center and AI (DCAI) delivers leadership Xeon products to cloud, datacenter and AI customers through development of industry leading IPs that enhances product performance and competitiveness in both Xeon and AI platforms. IP design group within DCAI designs Coherent Fabric IP, Memory controller, NOC, PCIE and many fundamental building blocks for the Xeon server SOCs.
Who You Are
Come and join a winning team at FVCTO (Formal Verification Central Tech Office). As a Formal Verification Engineer, you will be responsible the following but not limited to:
Verify microarchitecture using industry standard Formal Verification tools and technologies based on latest model checking and equivalence checking algorithms on world class design IPs and SOCs for Server, Client and Graphics. 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, verify, apply abstraction techniques, and converge on complex designs to deliver a high-quality design on schedule and articulate the ROI. Analyses new methodologies, evaluates new tools and corroborate results.
In addition to the qualifications, a successful candidate will demonstrate:
Problem solving and debugging skills. Willingness to work closely with various design teams and cross site teams. Verbal and written communication skills. Motivated, self-directed, and can work effectively both independently and in a team environment.
Qualifications
You must possess the minimum education requirements and minimum required qualifications to be initially considered for this position. Relevant experience can be obtained through schoolwork, classes, project work, internships, and/or military experience. Additional preferred qualifications are in addition to the minimum requirements and are considered a plus factor in identifying top candidates.
Minimum Qualifications
The candidate must possess the following:
Bachelor's Degree in Electrical Engineering, Computer Engineering, Computer Science or a related field with 4 years relevant experience or schoolwork OR Master's Degree in Electrical Engineering, Computer Engineering, Computer Science or a related field with 3 years relevant experience or schoolwork OR PhD in Electrical Engineering, Computer Engineering, Computer Science
Experience In The Following
RTL languages like System Verilog or VHDL Assertion languages like SVA, formal verification.
Preferred Qualifications
Experience with:
The fundamentals of formal verification technology, including model checking and writing formal assertions to express architectural intent of designs Formal verification principles and methods Computer architecture, digital design and verification methods Research in formal verification domain
Job Type
Experienced Hire
Shift
Shift 1 (United States of America)
Primary Location:
US, California, Santa Clara
Additional Locations:
US, Oregon, Hillsboro, US, Texas, Austin
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.
Position of Trust
N/A
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:
https://intel.wd1.myworkdayjobs.com/External/page/1025c144664a100150b4b1665c750003
Annual Salary Range for jobs which could be performed in the US:
$133,050.00-$187,840.00
S
al
ary range dependent on a number of factors including location and experience.
Work Model for this Role
This role will require an on-site presence. * Job posting details (such as work model, location or time type) are subject to change. Seniority level
Seniority level Mid-Senior level Employment type
Employment type Full-time Job function
Job function Quality Assurance Industries Semiconductor Manufacturing Referrals increase your chances of interviewing at Intel Corporation by 2x Sign in to set job alerts for “Senior Validation Engineer” roles.
Austin, Texas Metropolitan Area 3 days ago Senior Quality Engineer with Wealth Management Experience
Staff Design Quality Engineer (Austin, TX)
Senior Mainframe Software Engineer - Global Supply Chain
Sr, Technical Recruiter - Software Engineer Roles
Austin, TX $100,000.00-$130,000.00 1 day ago Senior Hardware Modeling Simulation SDE, AWS Machine Learning Accelerators
Austin, TX $151,300.00-$261,500.00 2 weeks ago Austin, TX $141,200.00-$338,500.00 2 weeks ago Senior Software Development Engineer - OCI (Nashville-TN or Austin-TX)
Austin, TX $79,800.00-$178,100.00 2 days ago Austin, TX $141,200.00-$338,500.00 1 week ago Quality Engineer, Electrode Manufacturing
Operations and Customer Quality Engineer III
Austin, TX $96,000.00-$132,000.00 1 day ago Austin, TX $85,000.00-$95,000.00 4 weeks ago Sr. Quality Engineer, Cell Manufacturing
We’re unlocking community knowledge in a new way. Experts add insights directly into each article, started with the help of AI.
#J-18808-Ljbffr
FVCTO - Formal Verification Senior Engineer
role at
Intel Corporation 1 day ago Be among the first 25 applicants Join to apply for the
FVCTO - Formal Verification Senior Engineer
role at
Intel Corporation Do Something Wonderful!
Intel put Silicon in Silicon Valley. No one else is obsessed with engineering and have a brighter future. Every day, we create world-changing technology that enriches the lives of every person on earth. So, if you have a big idea, let's do something wonderful together. Join us, because at Intel, we are building a better tomorrow. Job Details
Job Description:
Do Something Wonderful!
Intel put Silicon in Silicon Valley. No one else is obsessed with engineering and have a brighter future. Every day, we create world-changing technology that enriches the lives of every person on earth. So, if you have a big idea, let's do something wonderful together. Join us, because at Intel, we are building a better tomorrow.
Who We Are
The Data Center and AI (DCAI) delivers leadership Xeon products to cloud, datacenter and AI customers through development of industry leading IPs that enhances product performance and competitiveness in both Xeon and AI platforms. IP design group within DCAI designs Coherent Fabric IP, Memory controller, NOC, PCIE and many fundamental building blocks for the Xeon server SOCs.
Who You Are
Come and join a winning team at FVCTO (Formal Verification Central Tech Office). As a Formal Verification Engineer, you will be responsible the following but not limited to:
Verify microarchitecture using industry standard Formal Verification tools and technologies based on latest model checking and equivalence checking algorithms on world class design IPs and SOCs for Server, Client and Graphics. 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, verify, apply abstraction techniques, and converge on complex designs to deliver a high-quality design on schedule and articulate the ROI. Analyses new methodologies, evaluates new tools and corroborate results.
In addition to the qualifications, a successful candidate will demonstrate:
Problem solving and debugging skills. Willingness to work closely with various design teams and cross site teams. Verbal and written communication skills. Motivated, self-directed, and can work effectively both independently and in a team environment.
Qualifications
You must possess the minimum education requirements and minimum required qualifications to be initially considered for this position. Relevant experience can be obtained through schoolwork, classes, project work, internships, and/or military experience. Additional preferred qualifications are in addition to the minimum requirements and are considered a plus factor in identifying top candidates.
Minimum Qualifications
The candidate must possess the following:
Bachelor's Degree in Electrical Engineering, Computer Engineering, Computer Science or a related field with 4 years relevant experience or schoolwork OR Master's Degree in Electrical Engineering, Computer Engineering, Computer Science or a related field with 3 years relevant experience or schoolwork OR PhD in Electrical Engineering, Computer Engineering, Computer Science
Experience In The Following
RTL languages like System Verilog or VHDL Assertion languages like SVA, formal verification.
Preferred Qualifications
Experience with:
The fundamentals of formal verification technology, including model checking and writing formal assertions to express architectural intent of designs Formal verification principles and methods Computer architecture, digital design and verification methods Research in formal verification domain
Job Type
Experienced Hire
Shift
Shift 1 (United States of America)
Primary Location:
US, California, Santa Clara
Additional Locations:
US, Oregon, Hillsboro, US, Texas, Austin
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.
Position of Trust
N/A
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:
https://intel.wd1.myworkdayjobs.com/External/page/1025c144664a100150b4b1665c750003
Annual Salary Range for jobs which could be performed in the US:
$133,050.00-$187,840.00
S
al
ary range dependent on a number of factors including location and experience.
Work Model for this Role
This role will require an on-site presence. * Job posting details (such as work model, location or time type) are subject to change. Seniority level
Seniority level Mid-Senior level Employment type
Employment type Full-time Job function
Job function Quality Assurance Industries Semiconductor Manufacturing Referrals increase your chances of interviewing at Intel Corporation by 2x Sign in to set job alerts for “Senior Validation Engineer” roles.
Austin, Texas Metropolitan Area 3 days ago Senior Quality Engineer with Wealth Management Experience
Staff Design Quality Engineer (Austin, TX)
Senior Mainframe Software Engineer - Global Supply Chain
Sr, Technical Recruiter - Software Engineer Roles
Austin, TX $100,000.00-$130,000.00 1 day ago Senior Hardware Modeling Simulation SDE, AWS Machine Learning Accelerators
Austin, TX $151,300.00-$261,500.00 2 weeks ago Austin, TX $141,200.00-$338,500.00 2 weeks ago Senior Software Development Engineer - OCI (Nashville-TN or Austin-TX)
Austin, TX $79,800.00-$178,100.00 2 days ago Austin, TX $141,200.00-$338,500.00 1 week ago Quality Engineer, Electrode Manufacturing
Operations and Customer Quality Engineer III
Austin, TX $96,000.00-$132,000.00 1 day ago Austin, TX $85,000.00-$95,000.00 4 weeks ago Sr. Quality Engineer, Cell Manufacturing
We’re unlocking community knowledge in a new way. Experts add insights directly into each article, started with the help of AI.
#J-18808-Ljbffr