NR Consulting

Formal Verification Engineer

NR Consulting Sunnyvale, CA
NR Consulting

Formal Verification Engineer

NR Consulting Sunnyvale, CA
4 months ago
Be among the first 25 applicants

See who NR Consulting has hired for this role

Job Title :- Formal Verification Engineer

Job Location :- Sunnyvale, CA

Position Type:- Contract

Education & Experience Required

  • Knowledge of Formal verification applications including Datapath, sequential equivalence, Xprop, Clock Gating,

connectivity etc

  • 5+ years of experience in Formal Verification
  • Proven understanding of formal verification methodologies, complexity reduction techniques and abstraction

techniques

  • Proven analytical skills to craft Client and creative solutions to tackle industry-level complex designs
  • Proven communication skills to ensure effective collaboration with cross functional teams
  • Fluency in hardware description languages, such as SystemVerilog and SVA
  • Proficiency in scripting languages such as Python, Perl, or Tcl
  • Experience with JasperGold or VC-Formal

  • Seniority level

    Mid-Senior level

  • Employment type

    Contract

  • Job function

    Engineering

  • Industries

    IT Services and IT Consulting

Referrals increase your chances of interviewing at NR Consulting by 2x

See who you know

Get notified about new Validation Engineer jobs in Sunnyvale, CA.

Sign in to create job alert

Similar jobs

People also viewed

Looking for a job?

Visit the Career Advice Hub to see tips on interviewing and resume writing.

View Career Advice Hub