Junior Formal Verification Engineer ( Onsite - San Jose CA)

Join to apply for the Junior Formal Verification Engineer ( Onsite - San Jose CA) role at Encore Semi, Inc.

1 day ago Be among the first 25 applicants

Join to apply for the Junior Formal Verification Engineer ( Onsite - San Jose CA) role at Encore Semi, Inc.

Job Title: Junior Formal Verification Engineer
Location: San Jose (Onsite)
Job Type: Full-Time
Experience Level: 2–3 Years
Key Responsibilities

• Architect and implement formal verification environments using SystemVerilog and Assertions (SVA).
• Create and refine constraints, properties, and cover directives to ensure thorough design verification.
• Apply formal equivalence checking techniques for RTL vs. C-model datapath validation and clock gating logic.
• Debug formal failures and perform root cause analysis in close collaboration with design engineers.
• Drive property-based feature verification for complex GPU subsystems.
• Apply advanced formal convergence techniques such as abstraction, blackboxing, and design reduction.
• Analyze proof quality and optimize verification strategies for deeper coverage.
• Work across disciplines—design, software, architecture—to align verification goals with broader project requirements.
• Document verification plans, convergence metrics, and test reports using JIRA, Confluence, and other project management tools.
• Contribute to the enhancement of internal formal methodology, tools, and best practices.
  

Required Qualifications

• Bachelor’s degree in Electrical Engineering, Computer Engineering, or Computer Science with 3+ years of relevant experience
• Master’s or Ph.D. preferred
• Solid understanding of GPU or CPU microarchitecture
• Proficiency in SystemVerilog and SystemVerilog Assertions (SVA)
• Strong experience with formal verification tools such as Cadence JasperGold, Synopsys VC Formal, or Siemens Questa Formal
• Hands-on experience with datapath formal verification involving C-to-RTL equivalence
• Familiarity with formal proof strategies, including depth analysis and convergence metrics
• Strong Linux development background
  

Preferred Experience

• Exposure to constrained-random testbench development
• Contributions to the evolution of formal verification flows and infrastructure
• Background in functional safety or formal verification for safety-critical applications
  

The anticipated annual base salary for this position is between $80,000 to $100,000, which also includes a comprehensive benefits package.
Full-Time Benefits

• 15 days of PTO per calendar year
• 10 paid Holidays per calendar year
• Comprehensive Medical Benefits: Company covers 80% of premiums for Employee and Dependents
• Dental & Vision: Company covers 50% of premiums for Employee and Dependents
• Voluntary Benefits: Life Insurance, FSA (Health and Dependent, Limited Purpose), HAS, and Gap Insurance
• Employee Assistant Program (EAP)
• 401k - Traditional & Roth
• Life/AD&D and Long-Term Disability
• Tuition reimbursement
  

Equal Opportunity Policy Statement
Encore Semi, Inc. is an Equal Opportunity Employer that does not discriminate on the basis of actual or perceived race, religion, creed, color, age, sex, sexual orientation, gender, gender identity or expression, national origin, genetics, ancestry, marital status, civil union status, medical condition, disability (mental and physical), military and veteran status, pregnancy, childbirth and related medical conditions, or any other characteristic protected by applicable federal, state, or local laws and ordinances.
Encore Semi is also committed to compliance with all fair employment practices regarding citizenship and immigration status.
Our management team is dedicated to this policy with respect to recruitment, hiring, placement, promotion, transfer, training, compensation, benefits, employee activities, and general treatment during employment.

Seniority level

• Seniority level

  Entry level

Employment type

• Employment type

  Full-time

Job function

• Industries

  Semiconductor Manufacturing and Computer Hardware Manufacturing

Referrals increase your chances of interviewing at Encore Semi, Inc. by 2x

Sign in to set job alerts for “Validation Engineer” roles.

San Jose, CA $100,000.00-$130,000.00 2 weeks ago

Quality Management System Engineer - Operations

San Jose, CA $90,000.00-$120,000.00 1 month ago

San Jose, CA $159,800.00-$202,300.00 2 weeks ago

San Jose, CA $120,000.00-$150,000.00 2 hours ago

Fremont, CA $90,000.00-$100,000.00 2 weeks ago

Fremont, CA $100,000.00-$125,000.00 1 day ago

Santa Clara, CA $140,000.00-$150,000.00 4 days ago

Senior Supplier Quality Engineer, Mechanicals

Sunnyvale, CA $138,000.00-$202,000.00 2 weeks ago

Fremont, CA $90,000.00-$100,000.00 2 weeks ago

Test and Validation Engineer II, Drive Unit Test and Validation

Santa Clara, CA $77,000.00-$124,200.00 5 days ago

Systems Validation Engineer, Efficiency & EV Systems

Supplier Quality Engineer, Body in White

Milpitas, CA $120,000.00-$170,000.00 3 weeks ago

Manufacture and Test Engineer, Rack Integration

Sunnyvale, CA $115,000.00-$166,000.00 2 days ago

Sr. Test and Validation Engineer, Drive Unit Test and Validation

Redwood City, CA $112,700.00-$155,000.00 5 days ago

San Jose, CA $130,000.00-$178,000.00 2 days ago

Senior Test and Validation Engineer, Drive Unit Test and Validation

Pleasanton, CA $135,500.00-$183,300.00 1 week ago

Fremont, CA $150,000.00-$160,000.00 3 weeks ago

Staff Test and Validation Engineer, Drive Unit Test and Validation

Sunnyvale, CA $111,000.00-$131,000.00 2 days ago

We’re unlocking community knowledge in a new way. Experts add insights directly into each article, started with the help of AI.

#J-18808-Ljbffr