Junior Formal Verification Engineer ( Onsite - San ...

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 applicantsJoin to apply for the Junior Formal Verification Engineer ( Onsite - San Jose CA) role at Encore Semi, Inc.Job Title: Junior Formal Verification EngineerLocation: San Jose (Onsite)Job Type: Full-TimeExperience Level: 2–3 YearsKey ResponsibilitiesArchitect 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 QualificationsBachelor’s degree in Electrical Engineering, Computer Engineering, or Computer Science with 3+ years of relevant experienceMaster’s or Ph.D. preferredSolid understanding of GPU or CPU microarchitectureProficiency in SystemVerilog and SystemVerilog Assertions (SVA)Strong experience with formal verification tools such as Cadence JasperGold, Synopsys VC Formal, or Siemens Questa FormalHands-on experience with datapath formal verification involving C-to-RTL equivalenceFamiliarity with formal proof strategies, including depth analysis and convergence metricsStrong Linux development backgroundPreferred ExperienceExposure to constrained-random testbench developmentContributions to the evolution of formal verification flows and infrastructureBackground in functional safety or formal verification for safety-critical applicationsThe anticipated annual base salary for this position is between $80,000 to $100,000, which also includes a comprehensive benefits package.Full-Time Benefits15 days of PTO per calendar year10 paid Holidays per calendar yearComprehensive Medical Benefits: Company covers 80% of premiums for Employee and DependentsDental & Vision: Company covers 50% of premiums for Employee and DependentsVoluntary Benefits: Life Insurance, FSA (Health and Dependent, Limited Purpose), HAS, and Gap InsuranceEmployee Assistant Program (EAP)401k - Traditional & RothLife/AD&D and Long-Term DisabilityTuition reimbursementEqual Opportunity Policy StatementEncore 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 levelSeniority levelEntry levelEmployment typeEmployment typeFull-timeJob functionIndustriesSemiconductor Manufacturing and Computer Hardware ManufacturingReferrals increase your chances of interviewing at Encore Semi, Inc. by 2xSign in to set job alerts for “Validation Engineer” roles.San Jose, CA $100,000.00-$130,000.00 2 weeks agoQuality Management System Engineer - OperationsSan Jose, CA $90,000.00-$120,000.00 1 month agoSan Jose, CA $159,800.00-$202,300.00 2 weeks agoSan Jose, CA $120,000.00-$150,000.00 2 hours agoFremont, CA $90,000.00-$100,000.00 2 weeks agoFremont, CA $100,000.00-$125,000.00 1 day agoSanta Clara, CA $140,000.00-$150,000.00 4 days agoSenior Supplier Quality Engineer, MechanicalsSunnyvale, CA $138,000.00-$202,000.00 2 weeks agoFremont, CA $90,000.00-$100,000.00 2 weeks agoTest and Validation Engineer II, Drive Unit Test and ValidationSanta Clara, CA $77,000.00-$124,200.00 5 days agoSystems Validation Engineer, Efficiency & EV SystemsSupplier Quality Engineer, Body in WhiteMilpitas, CA $120,000.00-$170,000.00 3 weeks agoManufacture and Test Engineer, Rack IntegrationSunnyvale, CA $115,000.00-$166,000.00 2 days agoSr. Test and Validation Engineer, Drive Unit Test and ValidationRedwood City, CA $112,700.00-$155,000.00 5 days agoSan Jose, CA $130,000.00-$178,000.00 2 days agoSenior Test and Validation Engineer, Drive Unit Test and ValidationPleasanton, CA $135,500.00-$183,300.00 1 week agoFremont, CA $150,000.00-$160,000.00 3 weeks agoStaff Test and Validation Engineer, Drive Unit Test and ValidationSunnyvale, CA $111,000.00-$131,000.00 2 days agoWe’re unlocking community knowledge in a new way. Experts add insights directly into each article, started with the help of AI. #J-18808-Ljbffr

Created: 2025-09-17