20 days old

Security Formal Verification Lead (Remote)

Intel
Hillsboro, OR 97123 Work Remotely
  • Job Code
    JR0211122
Job Description

A key mission of Intel's Security Center of Excellence (Security CoE) is to ensure that platforms based on Intel technology are the most secure and highest performance on earth. We seek to hire a Principal Engineer to lead the research and development of Formal Verification techniques to improve security assurance of Intel technologies.

Intel has a long record of applying formal verification to some of the toughest design problems on the planet. We invite you to play a key role as we apply formal methods to security.

The successful candidate aspires to drive innovation in security verification through technical expertise and broad collaboration. They will work with Intel architecture, design, validation, security, and other formal verification teams around the world. In addition, they will engage with and influence external research and EDA capabilities. A strong track record of such work will be an advantage.

The position will involve various aspects of:

  • Formalizing threat models and threat model reasoning
  • Pre-implementation feature verification
  • RTL, firmware and software verification, as well as their interactions
  • Specialized tool architecture, development, deployment
  • Scaling verification techniques across Intel's engineering community
  • Influence and collaborate with top academic researchers to develop solutions that address key industry challenges
  • Pilot and refine promising research prototypes and methodologies for corporation adoption


Principal Engineers at Intel are active technical leaders inside and outside the company. Leadership is more than just technology expertise, and can include communication with executives, participation in industry and academic conferences, membership in standards committees, patent generation, writing technical papers, and mentoring more junior engineers.


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:

  • B.S. degree in Computer Science, Computer Engineering, Electrical Engineering or equivalent
  • 10+ years proven experience with formal verification of hardware or firmware and 10+ years proven experience in the below:
  • Working knowledge of hardware or firmware security
  • Strong programming skills and experience in modeling complex hardware or software components
  • Solid written and verbal communication skills



Preferred Qualifications:

  • Proven experience with formal verification of both hardware and firmware, and their interactions
  • Working knowledge of functional languages and/or assertion languages
  • Understanding of SoC security and threat models, covering both hardware and firmware aspects
  • Thorough understanding of Hardware Common Weakness Enumeration (CWE), the associated verification approaches, and tradeoffs
  • Familiarity of latest academic research of formal techniques in addressing hardware and software security
  • Hands-on research experience on advancing formal verification research and publication track record



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

Inside this Business Group

Enable amazing computing experiences with Intel Software continues to shape the way people think about computing across CPU, GPU, and FPGA architectures. Get your hands on new technology and collaborate with some of the smartest people in the business. Our developers and software engineers work in all software layers, across multiple operating systems and platforms to enable cutting-edge solutions. Ready to solve some of the most complex software challenges? Explore an impactful and innovative career in Software.



Other Locations

US, California, Santa Clara;US, Georgia, Atlanta;Virtual US and Canada


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.



Position of Trust

This role is a Position of Trust. Should you accept this position, you must consent to and pass an extended Background Investigation, which includes (subject to country law), extended education, SEC sanctions, and additional criminal and civil checks. For internals, this investigation may or may not be completed prior to starting the position. For additional questions, please contact your Recruiter....

Annual Salary Range for jobs which could be performed in US, Colorado:
$201,640.00-$322,920.00


Benefits:
We offer a total compensation package that ranks among the best in the industry. It consists of competitive pay, stock, bonuses, and benefit programs. Find more information about our Amazing Benefits here

Work Model for this Role

This role is available as fully home-based and generally would require you to attend Intel sites only occasionally based on business need.


Intel is committed to a culture of accessibility.  Intel provides accommodations to applicants and employees with disabilities.  Find information and request accommodation here

Posted: 2022-04-30 Expires: 2022-05-31

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:

Security Formal Verification Lead (Remote)

Intel
Hillsboro, OR 97123

Join us to start saving your Favorite Jobs!

Sign In Create Account
Powered ByCareerCast