Quick overview
Job description
Title - Verification Engineer 4
Location: Austin, TX (Onsite)
PREFERRED 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
Comments for Suppliers:
- Formal verification - use of Jasper or VC formal tools, Able to write/debug formal properties, have hands-on FPV or SEQ, hands-on atleast 3-5 yrs on the above requirements.
Similar jobs
- VS

Senior Terrestrial Automation & Controls EngineerRecently posted Auto Apply
Varda Space Industries · El Segundo · Hybrid · Posted 11 Nov 2026 🇺🇸
FiberElectrical DesignGrafana+3Engineering$140.3k - $179.3k/yr - SS

Principal Engineer, FPGA ArchitectureRecently posted Auto Apply
Samsung Semiconductor · Folsom · Hybrid · Posted 11 Nov 2026 🇺🇸
Microsoft ExcelFPGAIoT+2Technology$219k - $351k/yr - AI

Early Career RF Mission Systems Engineer, Air Dominance & StrikeRecently posted Auto Apply
Anduril Industries · Costa Mesa · Hybrid · Posted 10 Nov 2026 🇺🇸
Talent AcquisitionMATLABANSYS+7Technology$120k - $153k/yr - AT

Controls Engineer – Energy SystemsRecently posted Auto Apply
ALTEN Technology USA · Berkley CA / Denver CO / Greensboro NC / Troy MI / Dallas TX · Hybrid · Posted 11 Nov 2026 🇺🇸
MATLABGitRobotics+5Engineering$90k/yr - AT

Electrical Vehicle Prototype Development EngineerRecently posted Auto Apply
ALTEN Technology USA · Long Beach · Hybrid · Posted 11 Nov 2026 🇺🇸
Microsoft ExcelEmbedded SystemsRobotics+8Automotive$115k - $130k/yr - AS
RF Test Engineer IRecently posted Auto Apply
AST SpaceMobile · Dallas · Hybrid · Posted 11 Nov 2026 🇺🇸
MATLAB5GCompliance+1Technology$88k - $93k/yr - AS
RF Systems Engineer (Antenna and Ground Stations)Recently posted Auto Apply
AST SpaceMobile · Dallas · Hybrid · Posted 11 Nov 2026 🇺🇸
MATLAB5GANSYSTechnology$90k - $97k/yr - RE

Radar Signal Processing Intern (Summer)Recently posted Auto Apply
Regent · North Kingstown · Hybrid · Posted 11 Nov 2026 🇺🇸
MATLABConcreteContinuous Improvement+2Salary not listed - RE

State Estimation Intern (Summer)Recently posted Auto Apply
Regent · North Kingstown · On-site · Posted 11 Nov 2026 🇺🇸
MATLABLinearContinuous Improvement+2Salary not listed - SU
Panel Technician Auto Apply
Sunsrce · Farmington Hills · On-site 🇺🇸
AssemblyElectrical WiringSalary not listed - MT

PCB Designer - Senior/Principal
MACOM Technology Solutions Holdings · Chula Vista, CA · Hybrid · Posted 26 Oct 2026 🇺🇸
AutoCADCADAltium+1$86k - $166k/yr - MT

PCB Designer - Senior/Principal
MACOM Technology Solutions Holdings · Encinitas, CA · Hybrid · Posted 26 Oct 2026 🇺🇸
AutoCADCADAltium+1$86k - $166k/yr