- NVIDIA (Santa Clara, CA)
- NVIDIA is looking for Formal Verification Engineer to help verify the design and implementation of industry's leading CPUs and other High Performance ... Computing Solutions. As a Formal Verification Engineer , you will play a key role in ensuring the functional correctness and completeness of our next… more
- NVIDIA (Santa Clara, CA)
- …the team and see how you can make a lasting impact on the world. As a Formal Verification Engineer at NVIDIA, you will verify the build and implementation of ... position, your responsibilities will be to verify the micro-architecture using formal verification tools, define the verification scope, and ensure… more
- NVIDIA (Santa Clara, CA)
- Nvidia's Central Formal Verification Team is seeking a highly motivated FV Engineer with a background in AI to help in the development and integration of AI ... capabilities into formal verification tasks. As a part of this team, you will play a key role in ensuring functional correctness and completeness of our next… more
- Amazon (Cupertino, CA)
- …to deliver high performance at low cost. Key job responsibilities - Develop formal verification plans, implement and verify state-of-the-art IP architectures. - ... engineering, or related field - 7+ years of practical experience with formal verification as IP/Block owner, or equivalent academic experience in formal … more
- Butler America (Buena Park, CA)
- Title : Sr . Software Verification Engineer Job ID#: 71737 Duration: Permanent Location: Buena Park, CA Salary Range: $120,000 - $140,000 (based on education ... and experience) Job Summary The Sr . Software Verification Engineer will...Python programming + Ability to identify, track, and resolve verification process/environment/artifact issues in a formal configuration… more
- Amazon (San Diego, CA)
- …. Participate in the validation of ASIC implementations in Verilog/SystemVerilog . Run formal verification of complex blocks to ensure functional correctness . ... Matlab model : development or DV integration experience - Familiarity with formal verification techniques - Strong written and verbal skills Amazon is an equal… more
- Northrop Grumman (San Diego, CA)
- …integration testing with embedded processors and avionics systems + Participate in formal verification and validation activities + Synthesis, Place & Route, ... they're making history. **Northrop Grumman Aeronautics Systems** has an opening for a ** Sr . Principal** **Firmware** ** Engineer ** to join our team of qualified,… more
- SpaceX (Hawthorne, CA)
- Sr . Electrical Engineer (Crew Starship Avionics) Hawthorne, CA Apply SpaceX was founded under the belief that a future where humanity is out exploring the stars ... to make this possible, with the ultimate goal of enabling human life on Mars. SR . ELECTRICAL ENGINEER (CREW STARSHIP AVIONICS) Become a part of the Crew Starship… more
- SpaceX (Hawthorne, CA)
- Sr . Electrical Design Engineer (Raptor Avionics) Hawthorne, CA Apply SpaceX was founded under the belief that a future where humanity is out exploring the stars ... the ultimate goal of enabling human life on Mars. SR . ELECTRICAL DESIGN ENGINEER (RAPTOR AVIONICS) The...and mission milestones COMPENSATION AND BENEFITS: Pay range: Electrical Engineer / Senior : $130,000 - $180,000.00/per year Your actual… more
- Northrop Grumman (San Diego, CA)
- … verification + Experience with FMS programs + Experience with formal requirement verification and decomposition + Programming Skills in C/C++/Python/VBA ... making history. Northrop Grumman Aeronautics Systems is looking for well qualified Sr . Principal Systems Engineers to join our team of qualified, diverse individuals… more
- Abbott (San Diego, CA)
- …work for diversity, working mothers, female executives, and scientists. **The Opportunity** The ** Sr Java Full Stack Software Engineer ** works out of office ... addressing problems of moderate scope. Participate in software development, verification , and validation activities under guidance Adhere to FDA-compliant Design… more
- Imperative Care (Campbell, CA)
- Title: Senior R&D Engineer This position is based in our Campbell, California offices. This position is on-site, full-time. Why Imperative Care? Do you want to ... patient, and they come first in everything we do. What You'll Do As a senior professional, t his position will use solid knowledge and experience to design, develop… more
- Amazon (Cupertino, CA)
- …tools (examples: Cadence, Mentor Graphics, Synopsys, or Others) develop flows for synthesis, formal verification , floor planning, bus / pin planning, place and ... integration of emergent technologies. We're looking for an ASIC Physical Design Engineer to help us trail-blaze new technologies and architectures, while ensuring… more
- Imperative Care (Campbell, CA)
- …test methods and associated fixturing/automation to support both explorative, characterization, and formal verification testing of the Company's products. + Your ... Job Title: Senior R&D Test Engineer Location :...of devices for concept selection, design optimization, and design verification in close collaboration with the preclinical and design… more
- Amazon (Cupertino, CA)
- …ASIC physical design, and methodologies including synthesis, place and route, STA, IR, formal and physical verification . - Demonstrated level of expertise in PD ... of emergent technologies. We're looking for an ASIC Physical Design Methodology Engineer to help us trail-blaze new technologies and architectures, while ensuring… more
- Amazon (Sunnyvale, CA)
- …-Master's or Ph.D degree in Electrical / Communications Engineering -Exposure to Formal verification -Experience with physical implementation flows Amazon is an ... time to revenue. Innovators will be delighted with our integrated verification /validation environment that is used to perform architectural modeling to post-silicon… more
- NVIDIA (Santa Clara, CA)
- The NVIDIA Clocks Team is looking for an excellent Senior ASIC Verification engineer with extensive experience in Design Verification . The NVIDIA Clocks ... in industry-standard verification flows like SV constraint random verification , UVM, Formal Verification , Coverage metrics, profiling tools, X prop, etc.… more
- NVIDIA (Santa Clara, CA)
- We are now looking for a motivated Senior Circuit Verification Engineer to join our dynamic and growing team. Designing RAMs at leading edge process nodes ... verification of innovative circuits. + Support designer efforts in running formal verification , electronic rule checking, and other verification flows. +… more
- Cadence Design Systems, Inc. (San Jose, CA)
- …Must have a deep te c hni c al knowledge and understanding of digital verification flows, including simulation, debug, coverage, formal , and Verification IP. ... the c ore te c hnology requirements in digital verification , leadership for defining and c oordinating disruptive te...acc ount management or as a Appli c ations Engineer or Design Engineer with proven tra… more
- Amazon (San Diego, CA)
- …C or Matlab model : development or DV integration experience - Familiarity with formal verification techniques - Strong written and verbal skills Amazon is an ... you will: . Implement a state of the art verification environment for modem IP and subsystem to facilitate...and communication systems team and participate in system level verification using test benches constructed using UVM, SystemC and… more