- 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
- 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
- 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 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