{"schemaVersion":"jobsearcher.job.v1","id":"18d25abdb7a03212103e917f","url":"https://jobsearcher.com/jobs/18d25abdb7a03212103e917f","canonicalUrl":"https://jobsearcher.com/jobs/18d25abdb7a03212103e917f","title":"Verification Engineer","description":"Job Description:Hands-on experience with VC Formal (Synopsys) and/or Jasper Gold (Cadence)Strong proficiency in System Verilog Assertions (SVA) and formal property specificationExperience with formal verification applications: FPV, connectivity checking, register verification, equivalence checking, and coverage analysisFamiliarity with scripting languages (TCL, Python, Perl) for flow automationExtensive experience in design verification with a strong focus on formal verificationExpertise in System Verilog and UVM-based verification methodologies - Nice to have","company":"Saicon","rawCompany":"saicon","city":"Austin","state":"TX","isRemote":false,"isActive":false,"createdAt":"2026-09-08T08:38:49.188Z","occupations":[{"code":"17-2112.02","title":"Validation Engineers","slug":"validation-engineers"},{"code":"17-2072.00","title":"Electronics Engineers, Except Computer","slug":"electronics-engineers-except-computer"},{"code":"15-1253.00","title":"Software Quality Assurance Analysts and Testers","slug":"software-quality-assurance-analysts-and-testers"}],"industries":[{"code":"541512","title":"Computer Systems Design Services","slug":"computer-systems-design-services"},{"code":"541511","title":"Custom Computer Programming Services","slug":"custom-computer-programming-services"},{"code":"541330","title":"Engineering Services","slug":"engineering-services"}],"jobPosting":{"@context":"https://schema.org","@type":"JobPosting","title":"Verification Engineer","description":"Job Description:Hands-on experience with VC Formal (Synopsys) and/or Jasper Gold (Cadence)Strong proficiency in System Verilog Assertions (SVA) and formal property specificationExperience with formal verification applications: FPV, connectivity checking, register verification, equivalence checking, and coverage analysisFamiliarity with scripting languages (TCL, Python, Perl) for flow automationExtensive experience in design verification with a strong focus on formal verificationExpertise in System Verilog and UVM-based verification methodologies - Nice to have","datePosted":"2026-09-08T08:38:49.188Z","dateModified":"2026-09-08T08:38:49.188Z","hiringOrganization":{"@type":"Organization","name":"Saicon","sameAs":"https://jobsearcher.com"},"jobLocation":{"@type":"Place","address":{"@type":"PostalAddress","addressLocality":"Austin","addressRegion":"TX","addressCountry":"US"}},"identifier":{"@type":"PropertyValue","name":"JobSearcher","value":"18d25abdb7a03212103e917f"},"url":"https://jobsearcher.com/jobs/18d25abdb7a03212103e917f"}}