- Qualcomm (San Diego, CA)
- …teams to meet and exceed customer needs. Minimum Qualifications Verificationskills: Formal verification (Static) and Dynamic (simulations) Formal ... create a smarter, connected future for all. As a Qualcomm GPU ASIC Engineer , you may architect, design, implement, verify, and/or optimize the performance and power… more
- NVIDIA Corporation (Santa Clara, CA)
- Senior ASIC Verification Engineer page is loaded## Senior ASIC Verification Engineerlocations: US, CA, Santa Clara: US, TX, Remote: US, CA, ... JR2009482The NVIDIA Clocks Team is looking for an excellent Senior ASIC Verification engineer with...industry-standard verification flows like SV constraint random verification , UVM, Formal Verification , Coverage… more
- Pivotal (Palo Alto, CA)
- …define the future of aviation. We are seeking an Embedded Systems Software Engineer to lead and contribute to the development, integration, and rigorous ... verification of safety-critical flight software. You will work across...Proficiency with software requirements management, test case development, and formal documentation. Preferred Qualifications Experience supporting FAA certification efforts… more
- Voltai Inc. (Palo Alto, CA)
- …You might thrive if you have 5+ years of experience in JasperGold , VC Formal , or similar formal verification tools Assertion-based verification ... closely with RTL, verification , and ML research teams to develop hybrid formal engines that reason about AI-generated hardware at scale. You'll define formal … more
- Conductor (San Jose, CA)
- …programming skills in C++/SV, scripting languages like Python/Perl. Familiarity with Formal Verification . DMS Verification experience or knowledge ... San Jose, California, United States Overview The ACD Design verification team independently verifies the ASIC designs against standardspecifications. This gives an… more
- Mythic, Inc. (Palo Alto, CA)
- …Drive adoption of: Coverage-driven verification (functional, code); Assertion-based verification (SVA); Formal verification and static analysis; ... This Role We are seeking a Director / Principal Engineer of Digital Design Verification to provide...verification team in Bangalore with a mix of Senior and Junior Verification Engineers. Here is… more
- Moog Military Aircraft LLC (Torrance, CA)
- Senior FPGA Design Engineer page is loaded Senior FPGA Design Engineer Apply remote type Hybrid locations Torrance, CA Salt Lake City, UT time type Full ... life inside and outside of work. Job Title : Senior FPGA Design Engineer Reporting To: Work...verification results with accurate and concise reports Provide formal technical presentations to internal and external customers to… more
- Prattwhitney (Fullerton, CA)
- Senior Software Engineer (ONSITE) page is loaded## Senior Software Engineer (ONSITE)locations: CA531: Fullerton, CA Bldg 676 1801 West Hughes Drive ... the future of aerospace technology.Our Avionics group has an exciting opportunity for a Senior Software Engineer to join our Air Traffic Systems (ATS) team. This… more
- NVIDIA Corporation (Santa Clara, CA)
- …v8 based SOCs* Prior hands-on experience in Ada/SPARK programming (including specification and formal verification ) and TLA+ formal verification ... Senior System Software Engineer - QNX... Senior System Software Engineer - QNX BSP and IO Virtualization page...strong C and/or Ada/SPARK programming skills, and experience with formal methods, we want to hear from you! Join… more
- Medium (San Francisco, CA)
- …of ideas and perspectives at AHEAD. The Senior Client Solutions Engineer assists AHEAD Client Directors through formal technical presentations and technical ... Senior Client Solutions Engineer AHEAD builds...AHEAD events, user groups, conferences, and forums. Lead Solution Verification / BOM Review process for the geography. Qualifications… more
