Intel Formal Verification Engineering Manager 

India, Karnataka, Bengaluru 

5732682

Job Description:

• Directs and manages a team of formal verification engineers responsible for IP and SoC design verification.
• Deploys and manages leading formal verification processes, procedures, verification tools, and technologies based on latest model and algorithms.
• Possesses subject matter expertise in formal verification principles, methods, and relevant standard industry practices.
• Oversees definition, boundaries and performance of formal verification, proper test planning, tracking, and evaluating ROI.
• Works with design and microarchitecture teams to identify design bugs and improve overall microarchitecture.
• Manages stakeholders, works with respective IP/SoC teams, keeps them updated on the progress, and drives problem scoping and solution.
• Responsible for enabling teams to execute through clear goal setting, facilitating work, maintaining accountability, applying differentiated performance management, and driving team results.
• Drives results by inspiring people, role modeling Intel values, developing the capabilities of others, and ensuring a productive work environment.

Qualifications:

Minimum qualifications are required 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:

• Year of experience: 8+ with minimum of 4 years in formal execution.

Preferred Qualifications:

• Project management experience is plus
• Leading team in formal verification execution is must.
• Having hands experience in execution and the candidate will be contributing to some of the execution.

Requirements listed would be obtained through a combination of industry relevant job experience, internship experiences and orschoolwork/classes/research.

Experienced HireShift 1 (India)India, Bangalore

This role will require an on-site presence. * Job posting details (such as work model, location or time type) are subject to change.