Formal Verification Engineering Manager

• 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.

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 or schoolwork/classes/research.