{"schemaVersion":"jobsearcher.job.v1","id":"e799d85de7c57c02ab8c26d9","url":"https://jobsearcher.com/jobs/e799d85de7c57c02ab8c26d9","canonicalUrl":"https://jobsearcher.com/jobs/e799d85de7c57c02ab8c26d9","title":"Engineering - Verification Engineer 4","description":"Job-ID29212330Reference26-24961PREFERRED EXPERIENCE: Hands-on experience with VC Formal (Synopsys) and/or Jasper Gold (Cadence) Strong proficiency in System Verilog Assertions (SVA) and formal property specification Experience with formal verification applications: FPV, connectivity checking, register verification, equivalence checking, and coverage analysis Familiarity with scripting languages (TCL, Python, Perl) for flow automation Extensive experience in design verification with a strong focus on formal verification Expertise in System Verilog and UVM-based verification methodologies - Nice to have","company":"Mindlance","rawCompany":"mindlance","city":"Austin","state":"TX","isRemote":false,"isActive":true,"createdAt":"2026-09-12T05:23:10.195Z","occupations":[{"code":"17-2112.02","title":"Validation Engineers","slug":"validation-engineers"},{"code":"15-1253.00","title":"Software Quality Assurance Analysts and Testers","slug":"software-quality-assurance-analysts-and-testers"},{"code":"15-1252.00","title":"Software Developers","slug":"software-developers"}],"industries":[{"code":"541511","title":"Custom Computer Programming Services","slug":"custom-computer-programming-services"},{"code":"541512","title":"Computer Systems Design Services","slug":"computer-systems-design-services"},{"code":"541330","title":"Engineering Services","slug":"engineering-services"}],"jobPosting":{"@context":"https://schema.org","@type":"JobPosting","title":"Engineering - Verification Engineer 4","description":"Job-ID29212330Reference26-24961PREFERRED EXPERIENCE: Hands-on experience with VC Formal (Synopsys) and/or Jasper Gold (Cadence) Strong proficiency in System Verilog Assertions (SVA) and formal property specification Experience with formal verification applications: FPV, connectivity checking, register verification, equivalence checking, and coverage analysis Familiarity with scripting languages (TCL, Python, Perl) for flow automation Extensive experience in design verification with a strong focus on formal verification Expertise in System Verilog and UVM-based verification methodologies - Nice to have","datePosted":"2026-09-12T05:23:10.195Z","dateModified":"2026-09-12T05:23:10.195Z","hiringOrganization":{"@type":"Organization","name":"Mindlance","sameAs":"https://jobsearcher.com"},"jobLocation":{"@type":"Place","address":{"@type":"PostalAddress","addressLocality":"Austin","addressRegion":"TX","addressCountry":"US"}},"identifier":{"@type":"PropertyValue","name":"JobSearcher","value":"e799d85de7c57c02ab8c26d9"},"url":"https://jobsearcher.com/jobs/e799d85de7c57c02ab8c26d9"}}