Formal Verification Architect

Intel
Folsom, CA 95630
  • Job Code
    JR0176018
  • Jobs Rated
    187th
Job Description

As a Manager, sets priorities and goals for the team, drives results across various functions, ensuring an inclusive work environment, provides meaningful conversations to develop employees, and manage performance. Oversees definition, boundaries for formal verification, proper test planning, tracking, evaluating ROI, prioritizing team tasks based on project priorities and influencing key stakeholders. Verification of the microarchitecture using industry standard Formal Verification tools and technologies based on latest model checking and equivalence checking algorithms on world class design IPs (Graphics, Server IPs, processors and SOCs) . Using 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. Analyzes new methodologies, evaluates new tools and corroborate results. May review vendor capability to support Formal Verificaiton development. Selects, develops, and evaluates Formal Verification engineers to ensure the efficient operation of the function.


Qualifications

Minimum Qualifications and Experience that we are looking for:

� Bachelors, Masters or PhD in Mathematics, Computer Science, Electronic Engineering or related
� At least 7 years' experience in hardware formal verification roles
� Proven experience in deploying formal verification into multiple cross geographical teams
� Proven experience in engaging with FV tool vendor application engineers and R and D, driving enhancements and achieving bug fixes

Desirable and relevant experience would be:

� Experience in architectural formal verification and validation
� History of collaborations with vendors and academia

Behavioral traits that we are looking for:

� Highly inquisitive
� Excellent creative analytic problem-solving skills
� Friendly and patient with high levels of technical empathy
� Generous and motivational with ideas and knowledge
� Interested in providing complete, clear and concise delivery of complex material, whether emailed, presented, documented or verbalized tailored to the audience.
� Consistent ability to challenge the status quo - tenacious in driving improvements and innovations
� Successfully and patiently liaise with and influence multiple groups
� Ambitious in the quality, scope and longevity of your work

Inside this Business Group

Intel Architecture, Graphics, and Software (IAGS) brings Intel's technical strategy to life. We have embraced the new reality of competing at a product and solution levelnot just a transistor one. We take pride in reshaping the status quo and thinking exponentially to achieve what's never been done before. We've also built a culture of continuous learning and persistent leadership that provides opportunities to practice until perfection and filter ambitious ideas into execution.



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.

Jobs Rated Reports for Architect

Before you go...

Our free job seeker tools include alerts for new jobs, saving your favorites, optimized job matching, and more! Just enter your email below.

Share this job:

Formal Verification Architect

Intel
Folsom, CA 95630

Join us to start saving your Favorite Jobs!

Sign In Create Account
Architect
187th2019 - Architect
Overall Rating: 187/199
Median Salary: $79,380

Work Environment
Very Poor
190/220
Stress
Very High
204/220
Growth
Very Poor
183/220