Have Copilot read job descriptions and extract out key info you want to know. Click "Analyze All" to try it out. Click on the Copilot's gear icon to customize the prompt.

P

Formal Verification Engineer

p9jdnwkqidcv6v7kl3s2jz2ipcslzc03cdv6u87hp8h64yiv0s2m7ylo90bxdjp7 · 30+ days ago

Sunnyvale/(onsite), CA, US

$62k+
Estimation

Full-time

Continue

By pressing the button above, you agree to our Terms and Privacy Policy, and agree to receive email job alerts. You can unsubscribe anytime.

Title: Formal Verification Engineer
Type: Contract / Permanent
Experience level: 8+ Years
Location: Sunnyvale, CA

Job Details
Knowledge of Formal verification applications including Datapath, sequential equivalence, Xprop, Clock Gating, connectivity etc
5+ years of experience in Formal Verification
Proven understanding of formal verification methodologies, complexity reduction techniques and abstraction techniques
Proven analytical skills to craft novel and creative solutions to tackle industry-level complex designs
Proven communication skills to ensure effective collaboration with cross functional teams
Fluency in hardware description languages, such as SystemVerilog and SVA
Proficiency in scripting languages such as Python, Perl, or Tcl
Experience with JasperGold or VC-Formal

Education:
Bachelor's degree in computer science, Computer Engineering, relevant technical field, or equivalent practical experience.

•

Last updated on Jun 6, 2023

About the company

P

p9jdnwkqidcv6v7kl3s2jz2ipcslzc03cdv6u87hp8h64yiv0s2m7ylo90bxdjp7

More jobs at p9jdnwkqidcv6v7kl3s2jz2ipcslzc03cdv6u87hp8h64yiv0s2m7ylo90bxdjp7

Analyzing

Travel RN: Cath Lab$68k+

Atlanta, Georgia

·

30+ days ago

CMA$31k+

Atlanta, Georgia

·

30+ days ago

Neuro ICU$87k+

Atlanta, Georgia

·

30+ days ago

Systems Administrator IV

Salem, Oregon

·

30+ days ago

US_East | Platform Engineer - DevOps Specialist _L2

Wayne, Michigan

·

30+ days ago

More jobs like this

Analyzing

Embedded Controller Developer$61k+

C

crjdnwsnowo2i4nz45b1teboszrxlg0351vr73gpqw7yanury9u287prckhdnkww

Houston, Texas

·

30+ days ago

Outside Machinist (Engineering Technician III)$62k+

1sjdnwskufmgpcthjyy9iusbfxy82a02abcox8iid81pr4x7cehf775855eq8dzj

San Diego, California

·

30+ days ago

Test & Evaluation Engineer 4- Test Instrumentation$62k+

3

3djdnw5yqdh8wl3frr5t6561tvvokq01affwpxt3lcutzo4f8yt1aeiy3msk02or

Edwards Air Force Base, California

·

30+ days ago

Engr 3, Hardware Test$72k+

F

fvjdnwvwi7yecmymd9si3it1ointo80348emvd7mgqh749rpbe3n811jnfkeb228

Louisville, Colorado

·

30+ days ago

Physical Design Engineer$61k+

M

m9jdnw9bk529dob7b0nhj8hmrmhgxe030ekfy8ww115xk0jkq5bxt25ll3hbstat

Dallas, Texas

·

30+ days ago

Power Electronics Design Engineer$62k+

G

gqjdnwjcebrekv6n9h8rbmzzvmztk50234z9012psk4xgcxd6b4y7ufhtefg6g6v

San Jose, California

·

30+ days ago

Circuit Board Specialist $61k+

E

ebjdnwog0k38sqv62sgsaaixilnl7m093e7qt78j2nfx0pp8qywwiasib59did43

Austin, Texas

·

30+ days ago

USA - Engineer II$62k+

7

7fjdnw91pq69jlvngz1gp518iugamw00c66623tmx447r7e3lkr3gqqpqjhpy8mo

Round Lake, Illinois

·

30+ days ago

Instrumentation Support Engineer$58k+

9bjdnw2mlhip8doaz2t0q9w4wphk960418ms6mtfp5oxvgnr76bfafpnr8c62y27

Auburn Hills, Michigan

·

30+ days ago

Facility & Reliability Engineer$50k+

L

ljjdnw4xlkffs378soj5sfs86owm3y03bfwenit35m8dhcmohr5vk5fodt3md8bb

Summit, New Jersey

·

30+ days ago

For job seekers

Job searchSearch millions of jobs

LaunchpadNew

Resume to business

Cover Letter StudioGenerate a cover letter

Add to ChatGPTFind and discuss jobs

For employers and recruiters

Resume ScreenerOrganize and rank candidates

Talent PipelinePre-order

Source top talent

Promote a jobReach more candidates

For everyone

Referral programEarn 30% commission

Get mobile appBrowse anywhere

Jobs API

Become a partner

Developed by Blake and Linh in the US and Vietnam.

We're interested in hearing what you like and don't like! Live chat with our founder or join our Discord

Changelog

🚀 LaunchpadNov 27

Create a site and sell services based on your resume.

🔥 Job search dashboardNov 13

Revamped job search UI with a sortable grid, live filtering, bookmarks, and application tracking.

🫡 Cover letter instructionsSep 27

New Studio settings give you control over AI output.

✨ Cover Letter StudioAug 9

Automatically generate cover letters for any job.

🎯 Suggested filtersAug 6

Copilot suggests additional filters above the results.

⚡️ Quick applicationsAug 2

Apply to jobs using info from your resume. Initial coverage of ~200k jobs in Spain, Germany, Austria, Switzerland, France, and the Netherlands.

🧠 Job AnalysisJul 12

Have Copilot read job descriptions and extract out key info you want to know. Click "Analyze All" to try it out. Click on the Copilot's gear icon to customize the prompt.