Formal Verification Engineer

Position:
Formal Verification Engineer**
Job Description:**
• 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
Bachelor's degree in Computer Science, Computer Engineering, relevant technical field, or equivalent practical experience
Education:

Annual Hiring Range/Hourly Rate:

Actual compensation offer to candidate may vary from posted hiring range based upon geographic location, work experience, education, and/or skill level. The pay ratio between base pay and target incentive (if applicable) will be finalized at offer.
**
Location:**
US-CA-California (Remote Employees)

Remote work employees may be required to be present at the closest designated Arrow office for work-related purposes, at the Company's request and sole discretion.**
Time Type:**
Full time**
Job Category:**
Engineering Services

EEO Statement:

Arrow is an equal opportunity employer. All applicants will be considered for employment without attention to race, color, religion, gender, age, sexual orientation, gender identity, national origin, veteran or disability status. (Arrow EEO/AAP policy)