Formal Verification Engineer
Intel Corporation
Job Overview
Who's the hiring manager?
Sign up to PitchMeAI to discover the hiring manager's details for this job. We will also write them an intro email for you.
Job Description
Who Are We?
An excellent opportunity for a creative and motivated experienced engineer to be part of Intel's P-Core (Performance Core) Group, working on the development of next-generation P-Core CPUs for both Server and Client products. Intel's P-Core group is a critical domain with significant impact on Intel's CPU products and corporate profits. Core technology is highly evolving, with numerous technologies under development. The group is responsible for developing the core of Intel's next-generation CPUs, participating in all design phases from initial definitions and studies through mass production. This involves using state-of-the-art VLSI design tools and C/C++ firmware tools, while meeting challenging timelines, quality, low power, code area, and compute performance constraints. The Formal Verification Engineer will join Intel's Core group to work on pioneering projects within Intel's P-cores Center of Excellence, aimed at optimizing Intel's core performance using cutting-edge power-management firmware.
About The Job
The team is the ACE Formal Verification Center of Expertise. Its charter is to develop Formal Verification (FV) tools, flows, and methodologies for use by all core teams within Intel. The team supports the ACE FV community across all projects and actively participates in the formal verification execution of these projects.
Qualifications
- B.Sc. or M.Sc. in Computer Science or Electrical Engineering.
- At least eight years experience in formal verification application in chip design and/or formal verification related CAD development.
- Ability to learn new material fast and translate knowledge into task execution.
- Good communication skills and strong ability to learn complex design specifications from various sources (written or verbal).
- Passion for asking questions and an urge to apply all available tools to answer these questions.
- Ability to focus on hard problems and invest what it takes to move towards solving them.
Key Skills/Competency
- Formal Verification
- Chip Design
- VLSI Design
- CPU Architecture
- CAD Development
- C/C++ Programming
- Power Management
- Problem Solving
- Methodology Development
- Communication Skills
How to Get Hired at Intel Corporation
- Research Intel Corporation's culture: Study their mission, values, recent news, and employee testimonials on LinkedIn and Glassdoor.
- Tailor your Formal Verification Engineer resume: Highlight extensive experience in formal verification, chip design, and CAD development, aligning with Intel's P-Core group needs.
- Showcase your technical expertise: Prepare to discuss complex formal verification challenges, VLSI design tools, and C/C++ firmware experience with specific examples.
- Master Intel Corporation's interview process: Expect in-depth technical questions, behavioral assessments, and problem-solving scenarios related to CPU development and power management.
- Demonstrate passion for innovation: Emphasize your drive for continuous learning, problem-solving, and contributing to leading-edge CPU technologies at Intel.
Frequently Asked Questions
Find answers to common questions about this job opportunity
Explore similar opportunities that match your background