Search jobs > Folsom, CA > Remote > Permanent > Verification engineer

Senior Formal Verification Engineer (remote)

Chelsea Search Group, Inc.
Folsom, California, US
Remote
Temporary

Senior Formal Verification Engineer

Please make an application promptly if you are a good match for this role due to high levels of interest.

100% remote (work from any US location)

US Citizen or US Permanent Resident

6-12 months contract with possible extensions

Required Skills & Experience :

  • Knowledge of SoC / CPU / GPU designs, VLSI, and digital logic design and verification techniques
  • Experience with formal property proofs on industrial strength designs and architectures
  • Deep understanding of SoC design and verification
  • Good understanding of formal verification technologies / abstraction techniques
  • Temporal logic assertion-based languages such as SVA or PSL
  • Experience in using EDA formal tools
  • Proficiency in scripting languages and excellent debugging skills
  • Experience with Cadence Formal Verification tools such as JasperGold
  • System Verilog and UVM methodology expertise
  • Must have 5+ years of experience and BSEE, MSEE preferred

J-18808-Ljbffr

Remote working / work at home options are available for this role.

3 days ago
Related jobs
Chelsea Search Group
Folsom, California
Remote

Senior Formal Verification Engineer. Good understanding of formal verification technologies/abstraction techniques. Experience with Cadence Formal Verification tools such as JasperGold. FormalVerification #UVM #JasperGold #SystemVerilog. ...

Chelsea Search Group, Inc.
Folsom, California
Remote

Senior Formal Verification Engineer. Good understanding of formal verification technologies/abstraction techniques. Experience with Cadence Formal Verification tools such as JasperGold. Knowledge of SoC/CPU/GPU designs, VLSI, and digital logic design and verification techniques. ...

Inuson International Inc. i3
California, California, USA
Remote

This is an idealopportunity for an engineer who is already pionate about tacklingproblems in block chain scalability or looking to break into theblock chain engineering space. We re lookingfor an incredible software engineer to help us build the future ofblock chainscalability. Have 4+ years of engi...

Home Depot
CALIFORNIA, US
Remote

Software Engineer, you will be part of a dynamic team with engineers of all experience levels who help each other build and grow technical and leadership skills while creating, deploying, and supporting production applications. Software Engineers may be involved in product and tool selection, config...

Micron Memory Malaysia Sdn Bhd
Folsom, California

Are you passionate about generating complex verification vectors for the next generation of HBM memory that will power leading edge AI applications? As a HBM Design Verification Engineer, you will work in an innovative and dynamic team and will be responsible for developing verification plans, cover...

Synapse Design Inc.
CA, United States

Our verification engineers will work on block level functional verification and its closure, and/or on subsystem level integration and verification for a variety of embedded MP subsystems. A Design Verification Engineering role in our Security IP (SECIP) team, where many individual embedded micro-pr...

Inuson International Inc. i3
California, California, USA
Remote

This is an ideal opportunity for an engineer who is already pionate about tackling problems in block chain scalability or looking to break into the block chain engineering space. We re looking for an incredible software engineer to help us build the future of block chain scalability. Have 4 years ...

Planate
Roseville, California
Remote

Use computer-assisted engineering software (AutoCAD, coordination studies load analysis) to perform engineering tasks as assigned. Planate Management Group (PMG) is a Service-Disabled Veteran-Owned Small Business (SDVOSB) headquartered in Alexandria, Virginia, and Orlando, Florida USA with a technic...

Sierra Nevada Corporation
Folsom, California
Remote

Bachelor of Science degree in System Engineering, Computer Engineering, Computer Science, or related discipline. Join our team! As a Systems Engineer, you will be using your skills and expertise to research, architect, model, simulate, test, certify and improve cutting edge products and services. As...

Gpac
Rocklin, California
Remote

OPPORTUNITY FOR HYBRID OR REMOTE WORK*. Project types include residential, commercial, and industrial structural engineering projects. Must be willing to lead a team and mentor junior engineers . ...