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.



#tel