Formal Verification Engineer Job In Sunnyvale, California

Published 2023-09-07
Expires 2023-10-07
ID #1834355487
Formal Verification Engineer Job In Sunnyvale, California
United States, California, Sunnyvale,
Published September 7, 2023


Immediate need for a talented Formal Verification Engineer. This is a 12+ Months contract opportunity with long-term potential and is located in Sunnyvale, CA(Onsite). Please review the job description below and contact me ASAP if you are interested. 


Job ID: (phone number removed) 


Pay Range: $70 - $90/hour.  Employee benefits include, but are not limited to, health insurance (medical, dental, vision), 401(k) plan, and paid sick leave (depending on work location).


Requirements and Technology Experience:

Experience with JasperGold or VC-Formal.

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

Our client is a leading IT organization and we are currently interviewing to fill this and other similar contract positions. If you are interested in this position, please apply online for immediate consideration. 


Pyramid Consulting, Inc. provides equal employment opportunities to all employees and applicants for employment and prohibits discrimination and harassment of any type without regard to race, color, religion, age, sex, national origin, disability status, genetics, protected veteran status, sexual orientation, gender identity or expression, or any other characteristic protected by federal, state or local laws.



Job details:

Job type: Full time
Contract type: Permanent
Salary type: Per annum
Occupation: Formal verification engineer

⇐ Previous job

Next job ⇒     


Contact employer

    Employer's info

    Pyramid Consulting, Inc

    Quick search:


    Type city or region