9 days old

Formal Verification Engineer with ACL2 skills

Intel
Austin, TX 78701
  • Job Code
    JR0222278
Job Description

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 including micro-code using primarily ACL2 Theorem Prover and industry standard Formal Verification tools and technologies based on latest theorem proving, symbolic simulation, 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.

Improves state-of-the-art approaches currently used by FV team. Analyzes new methodologies, evaluates new tools and corroborate results. May review vendor capability to support Formal Verification development.


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:

The candidate must have a Bachelor's degree in Electrical/Computer Engineering or Computer Science and 4+ years of experience -OR- a Master's degree in Electrical/Computer Engineering or Computer Science and 3+ years of experience in the industry -OR- PhD degree in Electrical/Computer Engineering or Computer Science and experience with:

  • Theorem provers and Model-checkers



Preferred Qualifications:

  • Experience with ACL2 Theorem Prover

  • Experience with hardware verification

  • Knowledge of x86 Architecture

Inside this Business Group

The Advanced Architecture Development Group (AADG) is a CPU Core development team in Portland, Oregon.  If you are excited about advanced development of breakthrough technologies for future-generation CPU cores, please join us.  We believe that developing these technologies takes a team of exceptionally talented individuals who work together to visualize, innovate, and make the future of computing possible.  Join us to do something wonderful!



Other Locations

US, California, Santa Clara;US, Oregon, Hillsboro


Intel strongly encourages employees to be vaccinated against COVID-19. Intel aligns to federal, state, and local laws and as a contractor to the U.S. Government is subject to government mandates that may be issued. Intel policies for COVID-19 including guidance about testing and vaccination are subject to change over time.



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.



Work Model for this Role

This role will be eligible for our hybrid work model which allows employees to split their time between working on-site at their assigned Intel site and off-site.

Posted: 2022-05-10 Expires: 2022-06-10

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 Engineer with ACL2 skills

Intel
Austin, TX 78701

Join us to start saving your Favorite Jobs!

Sign In Create Account
Powered ByCareerCast