- Meta (Raleigh, NC)
- **Summary:** Meta is hiring ASIC Formal Verification Engineer within the Infrastructure organization. We are looking for individuals with experience in ... On Chip (SoC) for data center applications. As a Formal Verification Engineer , you will...verification of complex compute blocks such as DSP, CPU , GPU or HW accelerators 20. Experience with complex… more
- Microsoft Corporation (Raleigh, NC)
- …manage and optimize the Cloud infrastructure. We are looking for a **Senior Verification Engineer ** to join the team. **Responsibilities** + Establish yourself ... environments in industry standard languages like SVTB UVM or formal verification . **Other Requirements:** Ability to meet...with industry standard languages like Python or C/C++. + Verification experience as part of a CPU ,… more
- Meta (Raleigh, NC)
- **Summary:** Meta is hiring ASIC Design Verification Engineer within the Infrastructure organization. We are looking for individuals with experience in Design ... Chip (SoC) for data center applications. As a Design Verification Engineer , you will be part of...or more of the following areas along with functional verification -SV Assertions, Formal , Emulation 12. Experience in… more
- Microsoft Corporation (Raleigh, NC)
- …verification environments in industry standard languages like SVTB UVM or formal verification . **Other** **Requirements** **:** Ability to meet Microsoft, ... manage and optimize the Cloud infrastructure. We are looking for a **Principal** ** Verification ** ** Engineer ** to join the team. **Responsibilities** + Lead an… more
- Caterpillar, Inc. (Clayton, NC)
- …abilities in roles including (but not limited to): + **Product Design:** Engineer components & systems for Caterpillar products to meet our customers' needs. ... [Sensors and actuators], speed calculation, injection/spark timing, memory management, CPU optimization, multi core design and implementation etc. In addition,… more