Encore Semi, Inc.
Junior Formal Verification Engineer ( Onsite - San Jose CA)
Encore Semi, Inc., San Jose, California, United States, 95199
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
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