[Job Radar](https://jobradar.live/) / [Jobs](https://jobradar.live/ilanlar) / Senior Formal Verification Engineer

Active
On-site
Santa Clara, CA
Posted · 25.07.2026
Lever (US)

# Senior Formal Verification Engineer

Velaura

Role Overview
We are looking for a talented Senior Formal Verification Engineer to define, own, and scale the formal verification effort that hardens Velaura's next-generation Physical AI SoC. You will apply formal methods to the hardest correctness problems in the design, working with architects, RTL, and verification teams to prove correctness exhaustively and reach coverage that simulation cannot. We welcome engineers who enjoy reasoning rigorously about complex hardware, taming state-space explosion, and finding the corner-case bugs no one else can.

This job was verified from Lever (US). Applications are completed on the original source.

[Apply on the original listing ↗](https://jobradar.live/ilan/13743731-4ed0-4736-93ac-973b467389de/git)

## Stop searching one by one for roles like this.

Upload your resume or enter your target roles to see your first 3 matches for free.

[Find jobs for me →](https://jobradar.live/uye/kayit)
Your resume is never shared with employers; it is processed only for matching.

Something wrong with this job?

## Similar jobs

[Velaura Jobs](https://jobradar.live/company/velaura) · [Jobs in California](https://jobradar.live/jobs/california)
· [Jobs by location](https://jobradar.live/jobs) · [Jobs by company](https://jobradar.live/company)

- [Employment Specialist](https://jobradar.live/ilan/a9a3683a-9892-49ee-9d3e-2886e032722b) Center for Employment Opportunities · Los Angeles, California, United States

- [Sr. Director/Vice President, Clinical Development (Immunology)](https://jobradar.live/ilan/bcc59fbc-cab4-4660-a2c9-31c6d593c2ce) Antares Therapeutics · San Francisco, CA

- [Part Time Community Navigator (San Ramon, CA)](https://jobradar.live/ilan/f44950cd-8632-4ac2-bd3a-2a1a2283b473) Ounce of Care · San Ramon, California, United States

- [Grant and Proposal Specialist](https://jobradar.live/ilan/a565324f-55d4-46b0-b123-af20affbba4f) InCharge Energy · Los Angeles, CA

- [Senior Technical Director, Live Operations](https://jobradar.live/ilan/a5b8af01-a144-46c7-912c-41c26490125f) 31st Union · San Mateo, California, United States

- [Founding Business Development Representative](https://jobradar.live/ilan/a6dba178-677b-41ff-8920-31b8f5d329c8) Workhelix · San Francisco, California, United States

- [Route Delivery Driver CDL](https://jobradar.live/ilan/8eba0b2e-997e-4390-9e4e-06dc2211cc16) Primo Brands · Chatsworth, CA

- [Crew Member](https://jobradar.live/ilan/e888ce3c-8d26-4f34-98ae-3a2ecd7876c7) Chipotle Mexican Grill · Buena Park, CA