We are looking for Verification Engineer 4 - Hybrid for our client in Austin, TX.
Job Title: Verification Engineer 4
Job Location: Austin, TX
Job Type: Contract
Job Overview:
Pay Range: $76.62hr - $80.87hr
Requirement/Must Have:
- 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.
Nice to Have:
- Expertise in System Verilog and UVM-based verification methodologies.
Skills:
- VC Formal.
- Jasper Gold.
- System Verilog Assertions (SVA).
- Formal Property Specification.
- FPV.
- Connectivity Checking.
- Register Verification.
- Equivalence Checking.
- Coverage Analysis.
- TCL.
- Python.
- Perl.
- Design Verification.
- Formal Verification.
=
Benefits
Our Benefits Include:
- Medical, Dental, and Vision Insurance
- 401(k) Retirement Plan
- Health Savings Account (HSA)
- Disability Insurance (Short-Term and Long-Term)
- Life and AD&D Insurance
- Paid Sick Leave (where required by applicable state or local law)
- Supplemental Insurance Plans
- Identity Theft Protection
- Pet Insurance
- Employee Wellness Programs
- Employee Assistance Program (EAP)
- Career Growth and Professional Development Opportunities
Disclaimer: Benefits eligibility, accrual rates, and usage limits may vary based on employment status, length of service, and work location. Paid Sick Leave is provided in strict accordance with applicable state and municipal mandates. Cynet Systems Inc. reserves the right to modify, amend, or terminate any benefit plans at any time in accordance with applicable laws.
About Cynet Systems
Founded in 2010 and headquartered in the Washington, DC metro area, Cynet Systems Inc. is a leading technology staffing and workforce solutions company serving Fortune 500 companies, government agencies, and enterprise organizations across the United States and Canada. We deliver agile, scalable talent solutions across IT, engineering, life sciences, clinical, and professional staffing, powered by a high-performing recruitment engine operating across North America and Asia.
As a nationally and locally certified Minority Business Enterprise (MBE), Cynet Systems is committed to helping organizations build high-performing teams while empowering professionals to grow rewarding careers. Our organization is certified to ISO 9001, ISO 14001, ISO 27001, and SOC 2 Type II standards, reflecting our commitment to quality, security, operational excellence, and customer success.
Never miss an opportunity! Create an alert based on the job you applied for.
