{"schemaVersion":"jobsearcher.job.v1","id":"da9ef0b1a378b93cf0f1a2d7","url":"https://jobsearcher.com/jobs/da9ef0b1a378b93cf0f1a2d7","canonicalUrl":"https://jobsearcher.com/jobs/da9ef0b1a378b93cf0f1a2d7","title":"Formal Verification Engineer","description":"Role Overview\nThis position requires a specialized Verification Engineer who is adept at using tools like Jasper C2RTL or SLEC tools for formal verification. The focus is on verifying arithmetic components in integrated circuits\nThe Verification Engineer will focus on verifying the functionality and accuracy of integrated circuits, particularly in the arithmetic data path. This involves using specialized tools to ensure the design's logical equivalence and accuracy in complex digital systems.\nKey Requirements\nPrimary Skills (Ideal Candidate):\nHands-on experience with Jasper C2RTL: Experience in using the JasperGold C2RTL (Control-to-RTL) verification platform, a Cadence tool for formal verification that helps check if the RTL code matches high-level design specifications.\nLocation: Based in Austin, TX, or Santa Clara, CA.\nAlternative Skills (Otherwise):\nExperience with Sequential Logical Equivalence Checking (SLEC):\nFamiliarity with SLEC tools, which are used to verify the equivalence between different design representations over time (sequential verification).\nExperience with other tools like HECTOR from Synopsys, a tool similar to Jasper for performing formal verification and equivalence checking.\nUS-based candidates who are open to visiting Austin for onboarding or to facilitate the ramp-up process.\nAdditional Skills:\nArithmetic Data Path Verification:\nProficiency in verifying complex arithmetic operations, ensuring the accuracy and performance of components like multipliers, adders, ALUs (Arithmetic Logic Units), etc.\nJob Type: Contract\nSchedule:\n8 hour shift\nExperience:\nJasper C2RTL: 3 years (Preferred)\nSequential Logical Equivalence Checking (SLEC): 3 years (Preferred)\nHECTOR from Synopsys or equivalent formal verification tools: 3 years (Preferred)\nArithmetic Data Path Verification: 3 years (Preferred)\nanalyze, verify, and validate RTL code: 3 years (Preferred)\nPython, Perl, or Tcl to manage verification environments: 3 years (Preferred)\nModelSim, VCS, or Questa: 3 years (Preferred)\nUVM (Universal Verification Methodology) or SystemVerilog: 2 years (Preferred)\nAbility to Commute:\nAustin, TX 78744 (Required)\nAbility to Relocate:\nAustin, TX 78744: Relocate before starting work (Required)\nWork Location: In person","company":"Scalable Systems","rawCompany":"scalable systems","city":"Austin","state":"TX","isRemote":false,"isActive":false,"createdAt":"2026-08-04T14:55:32.640Z","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":"541511","title":"Custom Computer Programming Services","slug":"custom-computer-programming-services"},{"code":"334513","title":"Instruments and Related Products Manufacturing for Measuring, Displaying, and Controlling Industrial Process Variables","slug":"instruments-and-related-products-manufacturing-for-measuring-displaying-and-controlling-industrial-process-variables"},{"code":"541512","title":"Computer Systems Design Services","slug":"computer-systems-design-services"}],"jobPosting":{"@context":"https://schema.org","@type":"JobPosting","title":"Formal Verification Engineer","description":"Role Overview\nThis position requires a specialized Verification Engineer who is adept at using tools like Jasper C2RTL or SLEC tools for formal verification. The focus is on verifying arithmetic components in integrated circuits\nThe Verification Engineer will focus on verifying the functionality and accuracy of integrated circuits, particularly in the arithmetic data path. This involves using specialized tools to ensure the design's logical equivalence and accuracy in complex digital systems.\nKey Requirements\nPrimary Skills (Ideal Candidate):\nHands-on experience with Jasper C2RTL: Experience in using the JasperGold C2RTL (Control-to-RTL) verification platform, a Cadence tool for formal verification that helps check if the RTL code matches high-level design specifications.\nLocation: Based in Austin, TX, or Santa Clara, CA.\nAlternative Skills (Otherwise):\nExperience with Sequential Logical Equivalence Checking (SLEC):\nFamiliarity with SLEC tools, which are used to verify the equivalence between different design representations over time (sequential verification).\nExperience with other tools like HECTOR from Synopsys, a tool similar to Jasper for performing formal verification and equivalence checking.\nUS-based candidates who are open to visiting Austin for onboarding or to facilitate the ramp-up process.\nAdditional Skills:\nArithmetic Data Path Verification:\nProficiency in verifying complex arithmetic operations, ensuring the accuracy and performance of components like multipliers, adders, ALUs (Arithmetic Logic Units), etc.\nJob Type: Contract\nSchedule:\n8 hour shift\nExperience:\nJasper C2RTL: 3 years (Preferred)\nSequential Logical Equivalence Checking (SLEC): 3 years (Preferred)\nHECTOR from Synopsys or equivalent formal verification tools: 3 years (Preferred)\nArithmetic Data Path Verification: 3 years (Preferred)\nanalyze, verify, and validate RTL code: 3 years (Preferred)\nPython, Perl, or Tcl to manage verification environments: 3 years (Preferred)\nModelSim, VCS, or Questa: 3 years (Preferred)\nUVM (Universal Verification Methodology) or SystemVerilog: 2 years (Preferred)\nAbility to Commute:\nAustin, TX 78744 (Required)\nAbility to Relocate:\nAustin, TX 78744: Relocate before starting work (Required)\nWork Location: In person","datePosted":"2026-08-04T14:55:32.640Z","dateModified":"2026-08-04T14:55:32.640Z","hiringOrganization":{"@type":"Organization","name":"Scalable Systems","sameAs":"https://jobsearcher.com"},"jobLocation":{"@type":"Place","address":{"@type":"PostalAddress","addressLocality":"Austin","addressRegion":"TX","addressCountry":"US"}},"identifier":{"@type":"PropertyValue","name":"JobSearcher","value":"da9ef0b1a378b93cf0f1a2d7"},"url":"https://jobsearcher.com/jobs/da9ef0b1a378b93cf0f1a2d7"}}