Open role
Formal Verification Engineer
Education: Bachelor's degree in Computer Science, Computer Engineering, relevant technical field, or equivalent practical experience
All openings
LocationSunnyvale, CA
Job typeFull-time, Contract
ExperienceMid-Senior level
About this role
- 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
- Experience with JasperGold or VC-Formal
Education: Bachelor's degree in Computer Science, Computer Engineering, relevant technical field, or equivalent practical experience
Experience level: 8+ Years
How to apply
Apply via contact
Send your resume and mention this role — we'll route it to the right recruiter.
Screen & match
We review your background against client requirements and schedule a conversation.
Client interview
We coordinate interviews and advocate for you throughout the process.
Onboarding
Your Account Manager stays with you from day one through the full assignment.